revision.plt finally fixed

2f32527f · SOLIMAN Sylvain · 80a808e5 · 2f32527f
Commit 2f32527f authored Dec 13, 2019 by SOLIMAN Sylvain
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 3 deletions

revision.plt revision.plt +1 -3

No files found.
--- a/revision.plt
+++ b/revision.plt
@@ -43,7 +43,7 @@ test(
  'revise_model rule deletion for ACTL, Miguel example',
  [
    setup(clear_model),
-    all((Added, Removed) = [([], [a =[b]=> '_'])])
+    all((Added, Removed) = [([], ['MA'(1) for a+b => b])])
  ]
 ) :-
  command(add_reaction(a => a + b)),
@@ -75,10 +75,8 @@ test(
        ('MA'(1)for a=>'_'),
        ('MA'(1)for a=>a),
        ('MA'(1)for a=>b),
-        ('MA'(1)for a=>b+a),
        ('MA'(1)for b=>'_'),
        ('MA'(1)for b=>a),
-        ('MA'(1)for b=>a+b),
        ('MA'(1)for a+b=>'_'),
        ('MA'(1)for b+a=>a),
        ('MA'(1)for a+b=>b)]