Remove another duplicate file and ajust some filenames

as suggested by #445 (comment)
sosy-lab · Aug 31, 2017 · 7ecb64a · 7ecb64a
1 parent e058630
commit 7ecb64a
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 1,461 deletions.
diff --git a/c/check.py b/c/check.py
@@ -93,7 +93,6 @@
 KNOWN_GLOBAL_PROBLEMS = [
     "files ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--usb--serial--hp4x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c, ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--usb--serial--siemens_mpi.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c have the same content",
     "files ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--usb--serial--moto_modem.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c, ldv-linux-3.4-simple/43_1a_cilled_true-unreach-call_ok_nondet_linux-43_1a-drivers--usb--serial--qcaux.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c have the same content",
-    "files ldv-memsafety/memleaks_test1_true-valid-memsafety.i, ldv-memsafety/memleaks_test2_true-valid-memsafety.i have the same content",
     ]
 
 

diff --git a/...ocessed/memleaks_test2_false-valid-free.c → ...ocessed/memleaks_test1_false-valid-free.c b/...ocessed/memleaks_test2_false-valid-free.c → ...ocessed/memleaks_test1_false-valid-free.c
diff --git a/c/ldv-memsafety/memleaks-notpreprocessed/memleaks_test2_true-valid-memsafety.c b/c/ldv-memsafety/memleaks-notpreprocessed/memleaks_test2_true-valid-memsafety.c
diff --git a/...msafety/memleaks_test2_false-valid-free.i → ...msafety/memleaks_test1_false-valid-free.i b/...msafety/memleaks_test2_false-valid-free.i → ...msafety/memleaks_test1_false-valid-free.i