move everything out of trunk

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

diff --git a/trunk/verif/Spin/Test/wordcount b/trunk/verif/Spin/Test/wordcount
deleted file mode 100755 (executable)
index 5c3efc9..0000000
--- a/trunk/verif/Spin/Test/wordcount
+++ /dev/null
@@ -1,33 +0,0 @@
-/*
-       Example of property-based slicing.
-       Try:    spin -A wordcount
-       Requires Spin version 3.4 or later
- */
-
-chan STDIN;
-int c, nl, nw, nc;
-
-init {
-        bool inword = false;
-
-        do
-        :: STDIN?c ->
-                if
-                :: c == -1 ->   break  /* EOF */
-                :: c == '\n' -> nc++; nl++
-                :: else ->      nc++
-                fi;
-                if
-                :: c == ' ' || c == '\t' || c == '\n' ->
-                        inword = false
-                :: else ->
-                        if
-                        :: !inword ->
-                                nw++; inword = true
-                        :: else /* do nothing */
-                        fi
-                fi
-        od;
-       assert(nc >= nl);
-        printf("%d\t%d\t%d\n", nl, nw, nc)
-}