Commit 6bff7527 authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain

moar tests

parent 0164f527
......@@ -15,6 +15,8 @@ test(
command(add_conservation(a-a + 2*a)),
all_items([model: current_model, kind: conservation], Conservations).
%%% FIXME should test that conservations are properly used for numerical
%%% integration
test(
'delete_conservation deletes the correct conservation',
......@@ -44,7 +46,8 @@ test(
'check_conservations is ok with trivial P-invariants',
[
setup(models:clear_model),
cleanup(models:clear_model)
cleanup(models:clear_model),
blocked(not_implemented)
]
) :-
% not written 'a => b' to allow flycheck by separate compilation…
......@@ -53,6 +56,21 @@ test(
command(check_conservations).
test(
'check_conservations is unhappy with non-conserved moieties',
[
setup(models:clear_model),
cleanup(models:clear_model),
error(unproven_conservation_law([1*'a', 2*'b'])),
fixme(not_implemented)
]
) :-
% not written 'a => b' to allow flycheck by separate compilation…
command(add_rule('=>'(a, b))),
command(add_conservation(a + 2*b)),
command(check_conservations).
add_some_conservations :-
command(add_conservation(a-a + 2*a)),
command(add_conservation(b-b + 2*b)),
......
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