Fix test

boogie-org · Oct 2, 2024 · 1ae99e3 · 1ae99e3
1 parent feeda38
commit 1ae99e3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/UnitTests/ExecutionEngineTests/RandomSeedTest.cs b/Source/UnitTests/ExecutionEngineTests/RandomSeedTest.cs
@@ -17,7 +17,7 @@ public class RandomSeedTest
   axiom N <= 3;
 
   procedure nEquals3()
-  ensures true;
+  ensures 1 == 1;
   {
   }";