Skip to content

Commit

Permalink
sat: disable fuzztest until CMake support it
Browse files Browse the repository at this point in the history
  • Loading branch information
Mizux committed Dec 23, 2024
1 parent 5e3a4a7 commit f2cbbc8
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion ortools/sat/diffn_util_test.cc
Original file line number Diff line number Diff line change
Expand Up @@ -35,7 +35,7 @@
#include "absl/types/span.h"
#include "benchmark/benchmark.h"
#include "gtest/gtest.h"
#include "ortools/base/fuzztest.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 @@ -1135,10 +1135,12 @@ 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;
Expand Down

0 comments on commit f2cbbc8

Please sign in to comment.