Commit a664de27 authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain

Miguel, first example

parent ddf1d024
......@@ -61,4 +61,18 @@ test(
findall(Item, item([kind: reaction, item: Item]), Reactions).
test(
'revise_model rule deletion for ACTL, Miguel example',
[
setup(clear_model),
all(Reactions = [['_' =[a]=> b]])
% condition(flag(slow_test, true, true)),
]
) :-
command(add_reaction(a => a + b)),
command(add_reaction(a + b => b)),
revise_model(not(a) \/ 'AX'(a /\ b)),
findall(Item, item([kind: reaction, item: Item]), Reactions).
:- end_tests(revision).
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