[NetKAT] Remove overflow in FuzzTesting.

PiperOrigin-RevId: 703572977
google · Dec 6, 2024 · 2037d42 · 2037d42
1 parent 24ec2d0
commit 2037d42
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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);