Commit 462bb9ab authored by Mathieu Hemery's avatar Mathieu Hemery
Browse files

Add a cut to avoid a pollution of output

parent d706d165
......@@ -1353,6 +1353,7 @@ test_wellformed([Molecule|Tail], Expression for Reaction) :-
->
test_wf_inhibitor(Molecule, Expression)
;
!,
test_wf_other(Molecule, Expression)
),
test_wellformed(Tail, Expression for Reaction).
......@@ -1369,7 +1370,7 @@ test_wf_reactant(Molecule, Expression) :-
;
format("Fail for wellformedness of ~w with ~w as reactant.~n", [Expression, Molecule]),
fail
).
),!.
%! test_wf_inhibitor(+Molecule, +Expression)
%
......@@ -1382,7 +1383,7 @@ test_wf_inhibitor(Molecule, Expression) :-
;
format("Fail for wellformedness of ~w with ~w as inhibitor.~n", [Expression, Molecule]),
fail
).
),!.
%! test_wf_other(+Molecule, +Expression)
......@@ -1393,7 +1394,7 @@ test_wf_other(Molecule, Expression) :-
;
format("Fail for wellformedness of ~w with ~w as not present.~n", [Expression, Molecule]),
fail
).
),!.
%! test_strictness(+Molecule, +Expression)
......@@ -1407,4 +1408,4 @@ test_strictness(Molecule, Expression) :-
;
format("Due to: ~w while checking ~w;~n", [Expression, Molecule]),
fail
).
),!.
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