Commit 4ff091bc authored by HEMERY Mathieu's avatar HEMERY Mathieu
Browse files

Update test for revision, still a legitimare ERROR occurs

parent 0c49df1a
...@@ -21,7 +21,7 @@ test( ...@@ -21,7 +21,7 @@ test(
'revise_model rule addition for ECTL', 'revise_model rule addition for ECTL',
[ [
setup(clear_model), setup(clear_model),
all(Reactions = [['_' => b], [a => b], ['_' =[a]=> b]]) all(Reactions = [[('MA'(1) for '_'=>b)],[('MA'(1) for a=>b)],[('MA'(1) for a=>b+a)]])
] ]
) :- ) :-
command(present(a)), command(present(a)),
...@@ -32,7 +32,7 @@ test( ...@@ -32,7 +32,7 @@ test(
'revise_model rule addition for UCTL', 'revise_model rule addition for UCTL',
[ [
setup(clear_model), setup(clear_model),
all(Reactions = [[a => b]]) all(Reactions = [[('MA'(1)for a=>b)]])
] ]
) :- ) :-
command(present(a)), command(present(a)),
...@@ -54,7 +54,7 @@ test( ...@@ -54,7 +54,7 @@ test(
'revise_model rule deletion (from counter-example) for ACTL', 'revise_model rule deletion (from counter-example) for ACTL',
[ [
setup(clear_model), setup(clear_model),
all((Added, Removed) = [([], [a => b])]) all((Added, Removed) = [([],[('MA'(1)for a=>b)])])
] ]
) :- ) :-
command(present(a)), command(present(a)),
...@@ -68,9 +68,7 @@ test( ...@@ -68,9 +68,7 @@ test(
[ [
setup(clear_model), setup(clear_model),
all((Added, Removed) = all((Added, Removed) =
[([], [ [([],[('MA'(1)for'_'=>'_'),('MA'(1)for'_'=>a),('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)])]
'_'=>'_', '_'=>a, a=>'_', '_'=[a]=>'_', a=>b, b=>'_', b=>a, a+b=>'_',
b=[a]=>'_', a=[b]=>'_'])])
] ]
) :- ) :-
command(add_reaction('_' => '_')), command(add_reaction('_' => '_')),
...@@ -113,8 +111,8 @@ test( ...@@ -113,8 +111,8 @@ test(
Removed Removed
) )
), ),
assertion(Added = [c=[a]=>'_', a=[b]=>'_', b=[c]=>'_']), assertion(Added = ['MA'(1) for c+a=>a,'MA'(1) for a+b=>b,'MA'(1) for b+c=>c]),
assertion(Removed = [a=>'_', b=>'_', c=>'_']). assertion(Removed = ['MA'(1) for a=>_,'MA'(1) for b=>_,'MA'(1) for c=>_]).
test( test(
'Qu1', 'Qu1',
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment