Commit a359673a authored by Mathieu Hemery's avatar Mathieu Hemery
Browse files

Improve the message printing with check_error

parent 4b263379
......@@ -327,12 +327,17 @@ check_model :-
(
forall(
member(Reaction, List_Reaction),
test_wellformed(List_Molecule, Reaction)
(
test_wellformed(List_Molecule, Reaction)
;
format("Due to: ~w ; ", [Reaction]),
fail
)
)
->
format("The model is wellformed.~n", [])
;
format("The model is NOT wellformed.~n", [])
format("the model is NOT wellformed.~n", [])
),
(
test_strictness(List_Molecule, List_Reaction)
......
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