nico and md model

[lttv.git] / trunk / verif / nico / commit_sum.ltl

diff --git a/trunk/verif/nico/commit_sum.ltl b/trunk/verif/nico/commit_sum.ltl
new file mode 100755 (executable)
index 0000000..265a592
--- /dev/null
+++ b/trunk/verif/nico/commit_sum.ltl
@@ -0,0 +1 @@
+[] (commit_sum_wr_off1 && commit_sum_wr_off2)