Skip to content

Commit

Permalink
remove fuzz references
Browse files Browse the repository at this point in the history
  • Loading branch information
lperron committed Jan 14, 2025
1 parent 718794c commit 9b077bf
Show file tree
Hide file tree
Showing 3 changed files with 0 additions and 314 deletions.
19 changes: 0 additions & 19 deletions ortools/sat/BUILD.bazel
Original file line number Diff line number Diff line change
Expand Up @@ -3174,7 +3174,6 @@ cc_test(
":integer_base",
":util",
"//ortools/base",
"//ortools/base:fuzztest",
"//ortools/base:gmock",
"//ortools/graph:connected_components",
"//ortools/graph:strongly_connected_components",
Expand Down Expand Up @@ -3874,24 +3873,6 @@ cc_test(
],
)

cc_test(
name = "cp_model_solver_fuzz",
size = "large",
srcs = ["cp_model_solver_fuzz.cc"],
data = glob(["fuzz_testdata/*"]),
deps = [
":cp_model_cc_proto",
":cp_model_checker",
":cp_model_solver",
"//ortools/base:fuzztest",
"//ortools/base:path",
"//ortools/util:saturated_arithmetic",
"@bazel_tools//tools/cpp/runfiles",
"@com_google_absl//absl/log:check",
"@com_google_fuzztest//fuzztest:fuzztest_gtest_main",
],
)

cc_test(
name = "flaky_models_test",
size = "small",
Expand Down
289 changes: 0 additions & 289 deletions ortools/sat/cp_model_solver_fuzz.cc

This file was deleted.

6 changes: 0 additions & 6 deletions ortools/sat/diffn_util_test.cc
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,6 @@
#include "absl/types/span.h"
#include "benchmark/benchmark.h"
#include "gtest/gtest.h"
#include "ortools/base/fuzztest.h"
#include "ortools/base/gmock.h"
#include "ortools/base/logging.h"
#include "ortools/graph/connected_components.h"
Expand Down Expand Up @@ -1127,11 +1126,6 @@ void CheckFuzzedRectangles(
<< RenderRectGraph(std::nullopt, rectangles, result);
}

FUZZ_TEST(FindPartialIntersections, CheckFuzzedRectangles)
.WithDomains(fuzztest::VectorOf(fuzztest::TupleOf(
fuzztest::Arbitrary<int64_t>(), fuzztest::NonNegative<int64_t>(),
fuzztest::Arbitrary<int64_t>(), fuzztest::NonNegative<int64_t>())));

void BM_FindRectangles(benchmark::State& state) {
absl::BitGen random;
std::vector<std::vector<RectangleInRange>> problems;
Expand Down

0 comments on commit 9b077bf

Please sign in to comment.