From 1639c91a7c7564d3a29e47a5612d02fb4e4e8adf Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Wed, 2 Mar 2011 12:24:21 +0000
Subject: [PATCH] removing wrong file
---
src/plugins/e-acsl/tests/e-acsl-runtime/false.i~ | 7 -------
1 file changed, 7 deletions(-)
delete mode 100644 src/plugins/e-acsl/tests/e-acsl-runtime/false.i~
diff --git a/src/plugins/e-acsl/tests/e-acsl-runtime/false.i~ b/src/plugins/e-acsl/tests/e-acsl-runtime/false.i~
deleted file mode 100644
index 8ee6f985aa0..00000000000
--- a/src/plugins/e-acsl/tests/e-acsl-runtime/false.i~
+++ /dev/null
@@ -1,7 +0,0 @@
-/* run.config
- COMMENT: testing assert true and false */
-void main() {
- int x = 0;
- /*@ assert \true; */
- if (x) /*@ assert \false; */ ;
-}
--
GitLab