Right wrong answers

3fedc0ef · SOLIMAN Sylvain · 90d7ccd1 · 3fedc0ef · 3fedc0ef
Commit 3fedc0ef authored Apr 28, 2020 by SOLIMAN Sylvain
Showing with 2 additions and 2 deletions

library/examples/tests/rate_independence_05.bc library/examples/tests/rate_independence_05.bc +1 -1

library/examples/tests/rate_independence_06.bc library/examples/tests/rate_independence_06.bc +1 -1

No files found.
--- a/library/examples/tests/rate_independence_05.bc
+++ b/library/examples/tests/rate_independence_05.bc
@@ -2,4 +2,4 @@ a+b=>c+d.
 c+d=>e.
 e=>c.
 e=>f.
-prolog('writeln("The model is rate independent: partial loop leakage with or-fork")').
+prolog('writeln("Undecided: fork on e")').
--- a/library/examples/tests/rate_independence_06.bc
+++ b/library/examples/tests/rate_independence_06.bc
@@ -3,4 +3,4 @@ c+d=>a+b.
 c+d=>e.
 e=>c.
 e=>f.
-prolog('writeln("The model is rate independent: partial loop leakage with or-fork")').
+prolog('writeln("Undecided: fork on e")').