From 2037d426de0306af760fe581e1f5c64a6fa6bb25 Mon Sep 17 00:00:00 2001
From: Jonathan DiLorenzo <dilo@google.com>
Date: Fri, 6 Dec 2024 12:03:31 -0800
Subject: [PATCH] [NetKAT] Remove overflow in FuzzTesting.

PiperOrigin-RevId: 703572977
---
 netkat/evaluator_test.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/netkat/evaluator_test.cc b/netkat/evaluator_test.cc
index c76a163..40bfddf 100644
--- a/netkat/evaluator_test.cc
+++ b/netkat/evaluator_test.cc
@@ -60,7 +60,7 @@ void MatchOnlyMatchesPacketsWithCorrectValueAndField(Packet packet,
   packet[field] = value;
   EXPECT_TRUE(Evaluate(MatchProto(field, value), packet));
 
-  packet[field] = value - 1;
+  packet[field] = ~value;
   EXPECT_FALSE(Evaluate(MatchProto(field, value), packet));
 
   packet.erase(field);