Add verdict, move to regression folder

ultimate-pa · Feb 8, 2023 · 504df75 · 504df75
1 parent 351a712
commit 504df75
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/.../bpl/NonAtomicIncrement_2Threads_Loop.bpl → ...sion/NonAtomicIncrement_2Threads_Loop.bpl b/.../bpl/NonAtomicIncrement_2Threads_Loop.bpl → ...sion/NonAtomicIncrement_2Threads_Loop.bpl
@@ -1,3 +1,4 @@
+//#Safe
 /*
  * 
  *
@@ -13,11 +14,11 @@ modifies x;
 
 implementation ULTIMATE.start()
 {
-    x := 0;
+	x := 0;
 
-    fork 1 fistIncrementProcess();
+	fork 1 fistIncrementProcess();
 	fork 2 secondIncrementProcess();
-    join 1;
+	join 1;
 	join 2;
 	assert x >= 2;
 }