Commit 72712dea authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain
Browse files

Fixed wrong "right answer" for test 4

parent 45dfad12
c+d=>e.
e=>c.
e=>f.
prolog('writeln("The model is rate independent: composite loop leakage with and-fork")').
prolog('writeln("Undecided, fork on e")').
......@@ -30,11 +30,12 @@ test('Max', [setup(max_model), cleanup(clear_model)]) :-
atom_concat('The model is rate independent', _, Result).
test('everything', [
forall((expand_file_name('./library/examples/tests/rate_independence_*.bc', FileList), member(File, FileList))),
setup((with_output_to(atom(ExpectedLong), command(load(File))), sub_string(ExpectedLong, 0, 9, _, Expected))),
true(File-Output == File-Expected)
]) :-
search_conservations,
condition(flag(slow_test, true, true)),
forall((expand_file_name('./library/examples/tests/rate_independence_*.bc', FileList), member(File, FileList))),
setup((with_output_to(atom(ExpectedLong), command(load(File))), sub_string(ExpectedLong, 0, 9, _, Expected))),
true(File-Output == File-Expected)
]) :-
%% with_output_to(atom(_), command(search_conservations)),
with_output_to(atom(OutputFull), command(test_rate_independence_inputs_sinks)),
split_string(OutputFull, "\n", "\r\t ", OutputLines),
reverse(OutputLines, [_, OutputLong | _]),
......
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