From f2cbbc8fca8da1a2cd240d01a4c6588411f2d19f Mon Sep 17 00:00:00 2001
From: Mizux Seiha <mizux.dev@gmail.com>
Date: Mon, 23 Dec 2024 16:58:53 +0100
Subject: [PATCH] sat: disable fuzztest until CMake support it

---
 ortools/sat/diffn_util_test.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ortools/sat/diffn_util_test.cc b/ortools/sat/diffn_util_test.cc
index efa337c232..4a03858a4e 100644
--- a/ortools/sat/diffn_util_test.cc
+++ b/ortools/sat/diffn_util_test.cc
@@ -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"
@@ -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;