bugfix

Echtzeitsysteme · Oct 15, 2024 · f0450f3 · f0450f3
1 parent 5e2fe42
commit f0450f3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/...m_benchmarks/deterministic/av-protocol-mutants/av-protocol-non-bisim-changed-invariant.sh b/...m_benchmarks/deterministic/av-protocol-mutants/av-protocol-non-bisim-changed-invariant.sh
@@ -4,4 +4,4 @@
 #
 # See files AUTHORS and LICENSE for copyright details.
 
-cat "$(dirname $0)/av-protocol-non-bisim-1.txt"
+cat "$(dirname $0)/av-protocol-non-bisim-changed-invariant.txt"
diff --git a/...enchmarks/nondeterministic/av-protocol-mutants/av-protocol-non-bisim-changed-invariant.sh b/...enchmarks/nondeterministic/av-protocol-mutants/av-protocol-non-bisim-changed-invariant.sh
@@ -4,4 +4,4 @@
 #
 # See files AUTHORS and LICENSE for copyright details.
 
-cat "$(dirname $0)/av-protocol-non-bisim-1.txt"
+cat "$(dirname $0)/av-protocol-non-bisim-changed-invariant.txt"