Commit d06454e4 authored by BARGAIN Orianne's avatar BARGAIN Orianne
Browse files

forgot to update tests

parent 18a137af
......@@ -25,13 +25,11 @@ test('pattern_success') :-
test('pattern_intermediary_success') :-
debug(motif),
with_option([r_1: no], pattern_reduction("library/examples/sepi/MM6.bc")),
read_file_to_string("library/examples/sepi/MM6_reduced.bc", String, []),
write(String),
String = "S+E=>P+E.\n".
/*
test('pattern_mapk1_to_mapk3') :-
command('pattern_reduction("library/examples/sepi/mapk1.bc").'),
with_output_to(
......@@ -47,8 +45,9 @@ test('pattern_mapk1_to_mapk3') :-
atomic_list_concat(Split2, '\n', Result2),
count_start('sepi', Split2, 1).
test('pattern_mapk2_to_mapk3') :-
command('pattern_reduction("library/examples/sepi/mapk2.bc").'),
with_option([r_1: no], pattern_reduction("library/examples/sepi/mapk2.bc")),
with_output_to(
atom(Result),
command('search_reduction("library:examples/sepi/mapk2_reduced.bc", "library:examples/sepi/mapk3.bc").')
......@@ -61,6 +60,6 @@ test('pattern_mapk2_to_mapk3') :-
),
atomic_list_concat(Split2, '\n', Result2),
count_start('sepi', Split2, 1).
*/
:- end_tests(pattern).
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