X-Git-Url: http://git.lttng.org/?a=blobdiff_plain;f=verif%2Fnico%2Fno_events_lost.ltl;fp=verif%2Fnico%2Fno_events_lost.ltl;h=0000000000000000000000000000000000000000;hb=a219d12930979a81f43a3a3f5499b2bd00141a84;hp=d61a20f2d99ff6914e4d81f2cbdf43f1c4f469cc;hpb=31efe1f8304f09a4f4139c387a98d3215cd423c9;p=lttv.git

diff --git a/verif/nico/no_events_lost.ltl b/verif/nico/no_events_lost.ltl
deleted file mode 100755
index d61a20f2..00000000
--- a/verif/nico/no_events_lost.ltl
+++ /dev/null
@@ -1 +0,0 @@
-buffer_large_enough -> ([](!have_events_lost))