move everything out of trunk

[lttv.git] / trunk / verif / Spin / Test / loops

diff --git a/trunk/verif/Spin/Test/loops b/trunk/verif/Spin/Test/loops
deleted file mode 100755 (executable)
index 1ed711d..0000000
--- a/trunk/verif/Spin/Test/loops
+++ /dev/null
@@ -1,12 +0,0 @@
-active proctype loop()
-{      byte a, b;
-
-       do
-       :: a = (a+1)%3;
-               if
-               :: b = 2*a; skip
-               :: b = 2*a; accept: skip
-               fi;
-progress:      b--
-       od
-}