move everything out of trunk

[lttv.git] / trunk / verif / nico-md-merge / commit_sum.ltl

diff --git a/trunk/verif/nico-md-merge/commit_sum.ltl b/trunk/verif/nico-md-merge/commit_sum.ltl
deleted file mode 100755 (executable)
index b43d292..0000000
--- a/trunk/verif/nico-md-merge/commit_sum.ltl
+++ /dev/null
@@ -1,6 +0,0 @@
-// The sum of all subbuffer commit counts must always be lower or equal
-// to the writer head, because space must be reserved before it is
-// written to and then committed.
-// assert(write_off - _commit_sum >= 0 && write_off - _commit_sum < HALF_UCHAR);
-
-[] (wcsum1 && wcsum2)