Commit c2706449 authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain
Browse files

Testing, testing…

parent b0a9576c
...@@ -42,8 +42,8 @@ test('input_sinks', [ ...@@ -42,8 +42,8 @@ test('input_sinks', [
sub_string(OutputLong, 0, 9, _, Output). sub_string(OutputLong, 0, 9, _, Output).
test('invariants', [ test('invariants', [
%% fixme('Work in progress'), fixme('Work in progress'),
%% condition(flag(slow_test, true, true)), condition(flag(slow_test, true, true)),
forall((expand_file_name('./library/examples/tests/rate_independence_*.bc', FileList), member(File, FileList))), 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))), setup((with_output_to(atom(ExpectedLong), command(load(File))), sub_string(ExpectedLong, 0, 9, _, Expected))),
true(File-Output == File-Expected) true(File-Output == File-Expected)
......
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