Renamed some files so sara can read them

f90158e5 · Philipp Meyer · 7f494119 · f90158e5 · f90158e5 · f90158e5
Commit f90158e5 authored Jul 17, 2014 by Philipp Meyer
15 changed files
--- a/benchmarks/cav-benchmarks/mist/PN/extendedread-write.spec
+++ b/benchmarks/cav-benchmarks/mist/PN/extendedread-write.spec
--- a/benchmarks/cav-benchmarks/mist/PN/extendedread-write-smallconsts.spec
+++ b/benchmarks/cav-benchmarks/mist/PN/extendedread-write-smallconsts.spec
--- a/benchmarks/cav-benchmarks/mist/boundedPN/read-write.spec
+++ b/benchmarks/cav-benchmarks/mist/boundedPN/read-write.spec
--- a/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_1__depth_1.spec
+++ b/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_1__depth_1.spec
--- a/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_1__depth_2.spec
+++ b/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_1__depth_2.spec
--- a/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_2__depth_1.spec
+++ b/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_2__depth_1.spec
--- a/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_2__depth_2.spec
+++ b/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_2__depth_2.spec
--- a/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_3__depth_1.spec
+++ b/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_3__depth_1.spec
--- a/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_3__depth_2.spec
+++ b/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_3__depth_2.spec
--- a/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_4__depth_1.spec
+++ b/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_4__depth_1.spec
--- a/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_4__depth_2.spec
+++ b/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid_4__depth_2.spec
--- a/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid__depth_0.spec
+++ b/benchmarks/cav-benchmarks/soter/safe_send__sending_to_non-pid__depth_0.spec
--- a/benchmarks/cav-benchmarks/soter/unsafe_send__sending_to_non-pid__depth_0.spec
+++ b/benchmarks/cav-benchmarks/soter/unsafe_send__sending_to_non-pid__depth_0.spec
--- a/benchmarks/cav-benchmarks/soter/unsafe_send__sending_to_non-pid__depth_1.spec
+++ b/benchmarks/cav-benchmarks/soter/unsafe_send__sending_to_non-pid__depth_1.spec
--- a/benchmarks/cav-benchmarks/soter/unsafe_send__sending_to_non-pid__depth_2.spec
+++ b/benchmarks/cav-benchmarks/soter/unsafe_send__sending_to_non-pid__depth_2.spec