From bcba3569edaa5a4caabc2fdbb14b65c7238f2f78 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= Date: Fri, 21 Feb 2014 17:45:10 +0100 Subject: [PATCH] Added tests - types, constants, contracts - ais.ept: tests inclusion of array types into structure types - ce.ept: constant propagation - contract.ept: contract constructs - contract_automaton.ept: contract constructs and automata --- test/CTestTestfile.cmake | 121 +++++++++++++++++++++++++++++++ test/good/ais.ept | 8 ++ test/good/ce.ept | 3 + test/good/contract.ept | 41 +++++++++++ test/good/contract_automaton.ept | 50 +++++++++++++ test/good/tuple_args.ept | 0 6 files changed, 223 insertions(+) create mode 100644 test/good/ais.ept create mode 100644 test/good/ce.ept create mode 100644 test/good/contract.ept create mode 100644 test/good/contract_automaton.ept mode change 100755 => 100644 test/good/tuple_args.ept diff --git a/test/CTestTestfile.cmake b/test/CTestTestfile.cmake index 3e62d72..5ef3706 100644 --- a/test/CTestTestfile.cmake +++ b/test/CTestTestfile.cmake @@ -30,6 +30,7 @@ ADD_TEST(compile_fail_t7 "scripts/compile_fail" "bad/t7.ept" "-memalloc") ADD_TEST(compile_fail_t8-causality "scripts/compile_fail" "bad/t8-causality.ept" "-memalloc") ADD_TEST(compile_fail_t9-initialization "scripts/compile_fail" "bad/t9-initialization.ept" "-memalloc") ADD_TEST(compile_fail_when_merge1 "scripts/compile_fail" "bad/when_merge1.ept" "-memalloc") +ADD_TEST(compile_only_ais "scripts/compile_only" "good/ais.ept") ADD_TEST(compile_only_alloc "scripts/compile_only" "good/alloc.ept") ADD_TEST(compile_only_array1 "scripts/compile_only" "good/array1.ept") ADD_TEST(compile_only_array2 "scripts/compile_only" "good/array2.ept") @@ -42,12 +43,18 @@ ADD_TEST(compile_only_auto "scripts/compile_only" "good/auto.ept") ADD_TEST(compile_only_autohiera2 "scripts/compile_only" "good/autohiera2.ept") ADD_TEST(compile_only_autohiera "scripts/compile_only" "good/autohiera.ept") ADD_TEST(compile_only_bad_updown "scripts/compile_only" "good/bad_updown.ept") +ADD_TEST(compile_only_ce "scripts/compile_only" "good/ce.ept") ADD_TEST(compile_only_ckannot "scripts/compile_only" "good/ckannot.ept") ADD_TEST(compile_only_clock_causality "scripts/compile_only" "good/clock_causality.ept") ADD_TEST(compile_only_clocks "scripts/compile_only" "good/clocks.ept") +ADD_TEST(compile_only_contract_automaton "scripts/compile_only" "good/contract_automaton.ept") +ADD_TEST(compile_only_contract "scripts/compile_only" "good/contract.ept") +ADD_TEST(compile_only_convolutions "scripts/compile_only" "good/convolutions.ept") ADD_TEST(compile_only_counter "scripts/compile_only" "good/counter.ept") ADD_TEST(compile_only_current "scripts/compile_only" "good/current.ept") +ADD_TEST(compile_only_downscale "scripts/compile_only" "good/downscale.ept") ADD_TEST(compile_only_fbyfby2 "scripts/compile_only" "good/fbyfby2.ept") +ADD_TEST(compile_only_foldi_arrays "scripts/compile_only" "good/foldi_arrays.ept") ADD_TEST(compile_only_foldi "scripts/compile_only" "good/foldi.ept") ADD_TEST(compile_only_format "scripts/compile_only" "good/format.ept") ADD_TEST(compile_only_grosauto_clock "scripts/compile_only" "good/grosauto_clock.ept") @@ -58,6 +65,7 @@ ADD_TEST(compile_only_linear "scripts/compile_only" "good/linear.ept") ADD_TEST(compile_only_linear_init "scripts/compile_only" "good/linear_init.ept") ADD_TEST(compile_only_linear_split "scripts/compile_only" "good/linear_split.ept") ADD_TEST(compile_only_linear_vars "scripts/compile_only" "good/linear_vars.ept") +ADD_TEST(compile_only_mapnot "scripts/compile_only" "good/mapnot.ept") ADD_TEST(compile_only_memalloc_clocks "scripts/compile_only" "good/memalloc_clocks.ept") ADD_TEST(compile_only_memalloc_record "scripts/compile_only" "good/memalloc_record.ept") ADD_TEST(compile_only_memalloc_simple "scripts/compile_only" "good/memalloc_simple.ept") @@ -65,7 +73,10 @@ ADD_TEST(compile_only_name_clash "scripts/compile_only" "good/name_clash.ept") ADD_TEST(compile_only_norm "scripts/compile_only" "good/norm.ept") ADD_TEST(compile_only_or_keep "scripts/compile_only" "good/or_keep.ept") ADD_TEST(compile_only_parametrize "scripts/compile_only" "good/parametrize.ept") +ADD_TEST(compile_only_pip "scripts/compile_only" "good/pip.ept") +ADD_TEST(compile_only_pip_slice "scripts/compile_only" "good/pip_slice.ept") ADD_TEST(compile_only_pre_tuple "scripts/compile_only" "good/pre_tuple.ept") +ADD_TEST(compile_only_quasi "scripts/compile_only" "good/quasi.ept") ADD_TEST(compile_only_reinit "scripts/compile_only" "good/reinit.ept") ADD_TEST(compile_only_sampling_stateful_output2 "scripts/compile_only" "good/sampling_stateful_output2.ept") ADD_TEST(compile_only_sampling_stateful_output "scripts/compile_only" "good/sampling_stateful_output.ept") @@ -102,6 +113,7 @@ ADD_TEST(compile_only_tuple_args "scripts/compile_only" "good/tuple_args.ept") ADD_TEST(compile_only_type_alias "scripts/compile_only" "good/type_alias.ept") ADD_TEST(compile_only_updown "scripts/compile_only" "good/updown.ept") ADD_TEST(compile_only_when_merge1 "scripts/compile_only" "good/when_merge1.ept") +ADD_TEST(compile_gcc_run_ais "scripts/compile_gcc_run" "good/ais.ept") ADD_TEST(compile_gcc_run_alloc "scripts/compile_gcc_run" "good/alloc.ept") ADD_TEST(compile_gcc_run_array1 "scripts/compile_gcc_run" "good/array1.ept") ADD_TEST(compile_gcc_run_array2 "scripts/compile_gcc_run" "good/array2.ept") @@ -114,12 +126,18 @@ ADD_TEST(compile_gcc_run_auto "scripts/compile_gcc_run" "good/auto.ept") ADD_TEST(compile_gcc_run_autohiera2 "scripts/compile_gcc_run" "good/autohiera2.ept") ADD_TEST(compile_gcc_run_autohiera "scripts/compile_gcc_run" "good/autohiera.ept") ADD_TEST(compile_gcc_run_bad_updown "scripts/compile_gcc_run" "good/bad_updown.ept") +ADD_TEST(compile_gcc_run_ce "scripts/compile_gcc_run" "good/ce.ept") ADD_TEST(compile_gcc_run_ckannot "scripts/compile_gcc_run" "good/ckannot.ept") ADD_TEST(compile_gcc_run_clock_causality "scripts/compile_gcc_run" "good/clock_causality.ept") ADD_TEST(compile_gcc_run_clocks "scripts/compile_gcc_run" "good/clocks.ept") +ADD_TEST(compile_gcc_run_contract_automaton "scripts/compile_gcc_run" "good/contract_automaton.ept") +ADD_TEST(compile_gcc_run_contract "scripts/compile_gcc_run" "good/contract.ept") +ADD_TEST(compile_gcc_run_convolutions "scripts/compile_gcc_run" "good/convolutions.ept") ADD_TEST(compile_gcc_run_counter "scripts/compile_gcc_run" "good/counter.ept") ADD_TEST(compile_gcc_run_current "scripts/compile_gcc_run" "good/current.ept") +ADD_TEST(compile_gcc_run_downscale "scripts/compile_gcc_run" "good/downscale.ept") ADD_TEST(compile_gcc_run_fbyfby2 "scripts/compile_gcc_run" "good/fbyfby2.ept") +ADD_TEST(compile_gcc_run_foldi_arrays "scripts/compile_gcc_run" "good/foldi_arrays.ept") ADD_TEST(compile_gcc_run_foldi "scripts/compile_gcc_run" "good/foldi.ept") ADD_TEST(compile_gcc_run_format "scripts/compile_gcc_run" "good/format.ept") ADD_TEST(compile_gcc_run_grosauto_clock "scripts/compile_gcc_run" "good/grosauto_clock.ept") @@ -130,6 +148,7 @@ ADD_TEST(compile_gcc_run_linear "scripts/compile_gcc_run" "good/linear.ept") ADD_TEST(compile_gcc_run_linear_init "scripts/compile_gcc_run" "good/linear_init.ept") ADD_TEST(compile_gcc_run_linear_split "scripts/compile_gcc_run" "good/linear_split.ept") ADD_TEST(compile_gcc_run_linear_vars "scripts/compile_gcc_run" "good/linear_vars.ept") +ADD_TEST(compile_gcc_run_mapnot "scripts/compile_gcc_run" "good/mapnot.ept") ADD_TEST(compile_gcc_run_memalloc_clocks "scripts/compile_gcc_run" "good/memalloc_clocks.ept") ADD_TEST(compile_gcc_run_memalloc_record "scripts/compile_gcc_run" "good/memalloc_record.ept") ADD_TEST(compile_gcc_run_memalloc_simple "scripts/compile_gcc_run" "good/memalloc_simple.ept") @@ -137,7 +156,10 @@ ADD_TEST(compile_gcc_run_name_clash "scripts/compile_gcc_run" "good/name_clash.e ADD_TEST(compile_gcc_run_norm "scripts/compile_gcc_run" "good/norm.ept") ADD_TEST(compile_gcc_run_or_keep "scripts/compile_gcc_run" "good/or_keep.ept") ADD_TEST(compile_gcc_run_parametrize "scripts/compile_gcc_run" "good/parametrize.ept") +ADD_TEST(compile_gcc_run_pip "scripts/compile_gcc_run" "good/pip.ept") +ADD_TEST(compile_gcc_run_pip_slice "scripts/compile_gcc_run" "good/pip_slice.ept") ADD_TEST(compile_gcc_run_pre_tuple "scripts/compile_gcc_run" "good/pre_tuple.ept") +ADD_TEST(compile_gcc_run_quasi "scripts/compile_gcc_run" "good/quasi.ept") ADD_TEST(compile_gcc_run_reinit "scripts/compile_gcc_run" "good/reinit.ept") ADD_TEST(compile_gcc_run_sampling_stateful_output2 "scripts/compile_gcc_run" "good/sampling_stateful_output2.ept") ADD_TEST(compile_gcc_run_sampling_stateful_output "scripts/compile_gcc_run" "good/sampling_stateful_output.ept") @@ -174,6 +196,7 @@ ADD_TEST(compile_gcc_run_tuple_args "scripts/compile_gcc_run" "good/tuple_args.e ADD_TEST(compile_gcc_run_type_alias "scripts/compile_gcc_run" "good/type_alias.ept") ADD_TEST(compile_gcc_run_updown "scripts/compile_gcc_run" "good/updown.ept") ADD_TEST(compile_gcc_run_when_merge1 "scripts/compile_gcc_run" "good/when_merge1.ept") +ADD_TEST(test_option_bool_ais "scripts/test_option" "good/ais.ept" "-bool") ADD_TEST(test_option_bool_alloc "scripts/test_option" "good/alloc.ept" "-bool") ADD_TEST(test_option_bool_array1 "scripts/test_option" "good/array1.ept" "-bool") ADD_TEST(test_option_bool_array2 "scripts/test_option" "good/array2.ept" "-bool") @@ -186,12 +209,18 @@ ADD_TEST(test_option_bool_auto "scripts/test_option" "good/auto.ept" "-bool") ADD_TEST(test_option_bool_autohiera2 "scripts/test_option" "good/autohiera2.ept" "-bool") ADD_TEST(test_option_bool_autohiera "scripts/test_option" "good/autohiera.ept" "-bool") ADD_TEST(test_option_bool_bad_updown "scripts/test_option" "good/bad_updown.ept" "-bool") +ADD_TEST(test_option_bool_ce "scripts/test_option" "good/ce.ept" "-bool") ADD_TEST(test_option_bool_ckannot "scripts/test_option" "good/ckannot.ept" "-bool") ADD_TEST(test_option_bool_clock_causality "scripts/test_option" "good/clock_causality.ept" "-bool") ADD_TEST(test_option_bool_clocks "scripts/test_option" "good/clocks.ept" "-bool") +ADD_TEST(test_option_bool_contract_automaton "scripts/test_option" "good/contract_automaton.ept" "-bool") +ADD_TEST(test_option_bool_contract "scripts/test_option" "good/contract.ept" "-bool") +ADD_TEST(test_option_bool_convolutions "scripts/test_option" "good/convolutions.ept" "-bool") ADD_TEST(test_option_bool_counter "scripts/test_option" "good/counter.ept" "-bool") ADD_TEST(test_option_bool_current "scripts/test_option" "good/current.ept" "-bool") +ADD_TEST(test_option_bool_downscale "scripts/test_option" "good/downscale.ept" "-bool") ADD_TEST(test_option_bool_fbyfby2 "scripts/test_option" "good/fbyfby2.ept" "-bool") +ADD_TEST(test_option_bool_foldi_arrays "scripts/test_option" "good/foldi_arrays.ept" "-bool") ADD_TEST(test_option_bool_foldi "scripts/test_option" "good/foldi.ept" "-bool") ADD_TEST(test_option_bool_format "scripts/test_option" "good/format.ept" "-bool") ADD_TEST(test_option_bool_grosauto_clock "scripts/test_option" "good/grosauto_clock.ept" "-bool") @@ -202,6 +231,7 @@ ADD_TEST(test_option_bool_linear "scripts/test_option" "good/linear.ept" "-bool" ADD_TEST(test_option_bool_linear_init "scripts/test_option" "good/linear_init.ept" "-bool") ADD_TEST(test_option_bool_linear_split "scripts/test_option" "good/linear_split.ept" "-bool") ADD_TEST(test_option_bool_linear_vars "scripts/test_option" "good/linear_vars.ept" "-bool") +ADD_TEST(test_option_bool_mapnot "scripts/test_option" "good/mapnot.ept" "-bool") ADD_TEST(test_option_bool_memalloc_clocks "scripts/test_option" "good/memalloc_clocks.ept" "-bool") ADD_TEST(test_option_bool_memalloc_record "scripts/test_option" "good/memalloc_record.ept" "-bool") ADD_TEST(test_option_bool_memalloc_simple "scripts/test_option" "good/memalloc_simple.ept" "-bool") @@ -209,7 +239,10 @@ ADD_TEST(test_option_bool_name_clash "scripts/test_option" "good/name_clash.ept" ADD_TEST(test_option_bool_norm "scripts/test_option" "good/norm.ept" "-bool") ADD_TEST(test_option_bool_or_keep "scripts/test_option" "good/or_keep.ept" "-bool") ADD_TEST(test_option_bool_parametrize "scripts/test_option" "good/parametrize.ept" "-bool") +ADD_TEST(test_option_bool_pip "scripts/test_option" "good/pip.ept" "-bool") +ADD_TEST(test_option_bool_pip_slice "scripts/test_option" "good/pip_slice.ept" "-bool") ADD_TEST(test_option_bool_pre_tuple "scripts/test_option" "good/pre_tuple.ept" "-bool") +ADD_TEST(test_option_bool_quasi "scripts/test_option" "good/quasi.ept" "-bool") ADD_TEST(test_option_bool_reinit "scripts/test_option" "good/reinit.ept" "-bool") ADD_TEST(test_option_bool_sampling_stateful_output2 "scripts/test_option" "good/sampling_stateful_output2.ept" "-bool") ADD_TEST(test_option_bool_sampling_stateful_output "scripts/test_option" "good/sampling_stateful_output.ept" "-bool") @@ -246,6 +279,7 @@ ADD_TEST(test_option_bool_tuple_args "scripts/test_option" "good/tuple_args.ept" ADD_TEST(test_option_bool_type_alias "scripts/test_option" "good/type_alias.ept" "-bool") ADD_TEST(test_option_bool_updown "scripts/test_option" "good/updown.ept" "-bool") ADD_TEST(test_option_bool_when_merge1 "scripts/test_option" "good/when_merge1.ept" "-bool") +ADD_TEST(test_option_deadcode_ais "scripts/test_option" "good/ais.ept" "-deadcode") ADD_TEST(test_option_deadcode_alloc "scripts/test_option" "good/alloc.ept" "-deadcode") ADD_TEST(test_option_deadcode_array1 "scripts/test_option" "good/array1.ept" "-deadcode") ADD_TEST(test_option_deadcode_array2 "scripts/test_option" "good/array2.ept" "-deadcode") @@ -258,12 +292,18 @@ ADD_TEST(test_option_deadcode_auto "scripts/test_option" "good/auto.ept" "-deadc ADD_TEST(test_option_deadcode_autohiera2 "scripts/test_option" "good/autohiera2.ept" "-deadcode") ADD_TEST(test_option_deadcode_autohiera "scripts/test_option" "good/autohiera.ept" "-deadcode") ADD_TEST(test_option_deadcode_bad_updown "scripts/test_option" "good/bad_updown.ept" "-deadcode") +ADD_TEST(test_option_deadcode_ce "scripts/test_option" "good/ce.ept" "-deadcode") ADD_TEST(test_option_deadcode_ckannot "scripts/test_option" "good/ckannot.ept" "-deadcode") ADD_TEST(test_option_deadcode_clock_causality "scripts/test_option" "good/clock_causality.ept" "-deadcode") ADD_TEST(test_option_deadcode_clocks "scripts/test_option" "good/clocks.ept" "-deadcode") +ADD_TEST(test_option_deadcode_contract_automaton "scripts/test_option" "good/contract_automaton.ept" "-deadcode") +ADD_TEST(test_option_deadcode_contract "scripts/test_option" "good/contract.ept" "-deadcode") +ADD_TEST(test_option_deadcode_convolutions "scripts/test_option" "good/convolutions.ept" "-deadcode") ADD_TEST(test_option_deadcode_counter "scripts/test_option" "good/counter.ept" "-deadcode") ADD_TEST(test_option_deadcode_current "scripts/test_option" "good/current.ept" "-deadcode") +ADD_TEST(test_option_deadcode_downscale "scripts/test_option" "good/downscale.ept" "-deadcode") ADD_TEST(test_option_deadcode_fbyfby2 "scripts/test_option" "good/fbyfby2.ept" "-deadcode") +ADD_TEST(test_option_deadcode_foldi_arrays "scripts/test_option" "good/foldi_arrays.ept" "-deadcode") ADD_TEST(test_option_deadcode_foldi "scripts/test_option" "good/foldi.ept" "-deadcode") ADD_TEST(test_option_deadcode_format "scripts/test_option" "good/format.ept" "-deadcode") ADD_TEST(test_option_deadcode_grosauto_clock "scripts/test_option" "good/grosauto_clock.ept" "-deadcode") @@ -274,6 +314,7 @@ ADD_TEST(test_option_deadcode_linear "scripts/test_option" "good/linear.ept" "-d ADD_TEST(test_option_deadcode_linear_init "scripts/test_option" "good/linear_init.ept" "-deadcode") ADD_TEST(test_option_deadcode_linear_split "scripts/test_option" "good/linear_split.ept" "-deadcode") ADD_TEST(test_option_deadcode_linear_vars "scripts/test_option" "good/linear_vars.ept" "-deadcode") +ADD_TEST(test_option_deadcode_mapnot "scripts/test_option" "good/mapnot.ept" "-deadcode") ADD_TEST(test_option_deadcode_memalloc_clocks "scripts/test_option" "good/memalloc_clocks.ept" "-deadcode") ADD_TEST(test_option_deadcode_memalloc_record "scripts/test_option" "good/memalloc_record.ept" "-deadcode") ADD_TEST(test_option_deadcode_memalloc_simple "scripts/test_option" "good/memalloc_simple.ept" "-deadcode") @@ -281,7 +322,10 @@ ADD_TEST(test_option_deadcode_name_clash "scripts/test_option" "good/name_clash. ADD_TEST(test_option_deadcode_norm "scripts/test_option" "good/norm.ept" "-deadcode") ADD_TEST(test_option_deadcode_or_keep "scripts/test_option" "good/or_keep.ept" "-deadcode") ADD_TEST(test_option_deadcode_parametrize "scripts/test_option" "good/parametrize.ept" "-deadcode") +ADD_TEST(test_option_deadcode_pip "scripts/test_option" "good/pip.ept" "-deadcode") +ADD_TEST(test_option_deadcode_pip_slice "scripts/test_option" "good/pip_slice.ept" "-deadcode") ADD_TEST(test_option_deadcode_pre_tuple "scripts/test_option" "good/pre_tuple.ept" "-deadcode") +ADD_TEST(test_option_deadcode_quasi "scripts/test_option" "good/quasi.ept" "-deadcode") ADD_TEST(test_option_deadcode_reinit "scripts/test_option" "good/reinit.ept" "-deadcode") ADD_TEST(test_option_deadcode_sampling_stateful_output2 "scripts/test_option" "good/sampling_stateful_output2.ept" "-deadcode") ADD_TEST(test_option_deadcode_sampling_stateful_output "scripts/test_option" "good/sampling_stateful_output.ept" "-deadcode") @@ -318,6 +362,7 @@ ADD_TEST(test_option_deadcode_tuple_args "scripts/test_option" "good/tuple_args. ADD_TEST(test_option_deadcode_type_alias "scripts/test_option" "good/type_alias.ept" "-deadcode") ADD_TEST(test_option_deadcode_updown "scripts/test_option" "good/updown.ept" "-deadcode") ADD_TEST(test_option_deadcode_when_merge1 "scripts/test_option" "good/when_merge1.ept" "-deadcode") +ADD_TEST(test_option_tomato_ais "scripts/test_option" "good/ais.ept" "-tomato") ADD_TEST(test_option_tomato_alloc "scripts/test_option" "good/alloc.ept" "-tomato") ADD_TEST(test_option_tomato_array1 "scripts/test_option" "good/array1.ept" "-tomato") ADD_TEST(test_option_tomato_array2 "scripts/test_option" "good/array2.ept" "-tomato") @@ -330,12 +375,18 @@ ADD_TEST(test_option_tomato_auto "scripts/test_option" "good/auto.ept" "-tomato" ADD_TEST(test_option_tomato_autohiera2 "scripts/test_option" "good/autohiera2.ept" "-tomato") ADD_TEST(test_option_tomato_autohiera "scripts/test_option" "good/autohiera.ept" "-tomato") ADD_TEST(test_option_tomato_bad_updown "scripts/test_option" "good/bad_updown.ept" "-tomato") +ADD_TEST(test_option_tomato_ce "scripts/test_option" "good/ce.ept" "-tomato") ADD_TEST(test_option_tomato_ckannot "scripts/test_option" "good/ckannot.ept" "-tomato") ADD_TEST(test_option_tomato_clock_causality "scripts/test_option" "good/clock_causality.ept" "-tomato") ADD_TEST(test_option_tomato_clocks "scripts/test_option" "good/clocks.ept" "-tomato") +ADD_TEST(test_option_tomato_contract_automaton "scripts/test_option" "good/contract_automaton.ept" "-tomato") +ADD_TEST(test_option_tomato_contract "scripts/test_option" "good/contract.ept" "-tomato") +ADD_TEST(test_option_tomato_convolutions "scripts/test_option" "good/convolutions.ept" "-tomato") ADD_TEST(test_option_tomato_counter "scripts/test_option" "good/counter.ept" "-tomato") ADD_TEST(test_option_tomato_current "scripts/test_option" "good/current.ept" "-tomato") +ADD_TEST(test_option_tomato_downscale "scripts/test_option" "good/downscale.ept" "-tomato") ADD_TEST(test_option_tomato_fbyfby2 "scripts/test_option" "good/fbyfby2.ept" "-tomato") +ADD_TEST(test_option_tomato_foldi_arrays "scripts/test_option" "good/foldi_arrays.ept" "-tomato") ADD_TEST(test_option_tomato_foldi "scripts/test_option" "good/foldi.ept" "-tomato") ADD_TEST(test_option_tomato_format "scripts/test_option" "good/format.ept" "-tomato") ADD_TEST(test_option_tomato_grosauto_clock "scripts/test_option" "good/grosauto_clock.ept" "-tomato") @@ -346,6 +397,7 @@ ADD_TEST(test_option_tomato_linear "scripts/test_option" "good/linear.ept" "-tom ADD_TEST(test_option_tomato_linear_init "scripts/test_option" "good/linear_init.ept" "-tomato") ADD_TEST(test_option_tomato_linear_split "scripts/test_option" "good/linear_split.ept" "-tomato") ADD_TEST(test_option_tomato_linear_vars "scripts/test_option" "good/linear_vars.ept" "-tomato") +ADD_TEST(test_option_tomato_mapnot "scripts/test_option" "good/mapnot.ept" "-tomato") ADD_TEST(test_option_tomato_memalloc_clocks "scripts/test_option" "good/memalloc_clocks.ept" "-tomato") ADD_TEST(test_option_tomato_memalloc_record "scripts/test_option" "good/memalloc_record.ept" "-tomato") ADD_TEST(test_option_tomato_memalloc_simple "scripts/test_option" "good/memalloc_simple.ept" "-tomato") @@ -353,7 +405,10 @@ ADD_TEST(test_option_tomato_name_clash "scripts/test_option" "good/name_clash.ep ADD_TEST(test_option_tomato_norm "scripts/test_option" "good/norm.ept" "-tomato") ADD_TEST(test_option_tomato_or_keep "scripts/test_option" "good/or_keep.ept" "-tomato") ADD_TEST(test_option_tomato_parametrize "scripts/test_option" "good/parametrize.ept" "-tomato") +ADD_TEST(test_option_tomato_pip "scripts/test_option" "good/pip.ept" "-tomato") +ADD_TEST(test_option_tomato_pip_slice "scripts/test_option" "good/pip_slice.ept" "-tomato") ADD_TEST(test_option_tomato_pre_tuple "scripts/test_option" "good/pre_tuple.ept" "-tomato") +ADD_TEST(test_option_tomato_quasi "scripts/test_option" "good/quasi.ept" "-tomato") ADD_TEST(test_option_tomato_reinit "scripts/test_option" "good/reinit.ept" "-tomato") ADD_TEST(test_option_tomato_sampling_stateful_output2 "scripts/test_option" "good/sampling_stateful_output2.ept" "-tomato") ADD_TEST(test_option_tomato_sampling_stateful_output "scripts/test_option" "good/sampling_stateful_output.ept" "-tomato") @@ -390,6 +445,7 @@ ADD_TEST(test_option_tomato_tuple_args "scripts/test_option" "good/tuple_args.ep ADD_TEST(test_option_tomato_type_alias "scripts/test_option" "good/type_alias.ept" "-tomato") ADD_TEST(test_option_tomato_updown "scripts/test_option" "good/updown.ept" "-tomato") ADD_TEST(test_option_tomato_when_merge1 "scripts/test_option" "good/when_merge1.ept" "-tomato") +ADD_TEST(test_option_flatten_ais "scripts/test_option" "good/ais.ept" "-flatten") ADD_TEST(test_option_flatten_alloc "scripts/test_option" "good/alloc.ept" "-flatten") ADD_TEST(test_option_flatten_array1 "scripts/test_option" "good/array1.ept" "-flatten") ADD_TEST(test_option_flatten_array2 "scripts/test_option" "good/array2.ept" "-flatten") @@ -402,12 +458,18 @@ ADD_TEST(test_option_flatten_auto "scripts/test_option" "good/auto.ept" "-flatte ADD_TEST(test_option_flatten_autohiera2 "scripts/test_option" "good/autohiera2.ept" "-flatten") ADD_TEST(test_option_flatten_autohiera "scripts/test_option" "good/autohiera.ept" "-flatten") ADD_TEST(test_option_flatten_bad_updown "scripts/test_option" "good/bad_updown.ept" "-flatten") +ADD_TEST(test_option_flatten_ce "scripts/test_option" "good/ce.ept" "-flatten") ADD_TEST(test_option_flatten_ckannot "scripts/test_option" "good/ckannot.ept" "-flatten") ADD_TEST(test_option_flatten_clock_causality "scripts/test_option" "good/clock_causality.ept" "-flatten") ADD_TEST(test_option_flatten_clocks "scripts/test_option" "good/clocks.ept" "-flatten") +ADD_TEST(test_option_flatten_contract_automaton "scripts/test_option" "good/contract_automaton.ept" "-flatten") +ADD_TEST(test_option_flatten_contract "scripts/test_option" "good/contract.ept" "-flatten") +ADD_TEST(test_option_flatten_convolutions "scripts/test_option" "good/convolutions.ept" "-flatten") ADD_TEST(test_option_flatten_counter "scripts/test_option" "good/counter.ept" "-flatten") ADD_TEST(test_option_flatten_current "scripts/test_option" "good/current.ept" "-flatten") +ADD_TEST(test_option_flatten_downscale "scripts/test_option" "good/downscale.ept" "-flatten") ADD_TEST(test_option_flatten_fbyfby2 "scripts/test_option" "good/fbyfby2.ept" "-flatten") +ADD_TEST(test_option_flatten_foldi_arrays "scripts/test_option" "good/foldi_arrays.ept" "-flatten") ADD_TEST(test_option_flatten_foldi "scripts/test_option" "good/foldi.ept" "-flatten") ADD_TEST(test_option_flatten_format "scripts/test_option" "good/format.ept" "-flatten") ADD_TEST(test_option_flatten_grosauto_clock "scripts/test_option" "good/grosauto_clock.ept" "-flatten") @@ -418,6 +480,7 @@ ADD_TEST(test_option_flatten_linear "scripts/test_option" "good/linear.ept" "-fl ADD_TEST(test_option_flatten_linear_init "scripts/test_option" "good/linear_init.ept" "-flatten") ADD_TEST(test_option_flatten_linear_split "scripts/test_option" "good/linear_split.ept" "-flatten") ADD_TEST(test_option_flatten_linear_vars "scripts/test_option" "good/linear_vars.ept" "-flatten") +ADD_TEST(test_option_flatten_mapnot "scripts/test_option" "good/mapnot.ept" "-flatten") ADD_TEST(test_option_flatten_memalloc_clocks "scripts/test_option" "good/memalloc_clocks.ept" "-flatten") ADD_TEST(test_option_flatten_memalloc_record "scripts/test_option" "good/memalloc_record.ept" "-flatten") ADD_TEST(test_option_flatten_memalloc_simple "scripts/test_option" "good/memalloc_simple.ept" "-flatten") @@ -425,7 +488,10 @@ ADD_TEST(test_option_flatten_name_clash "scripts/test_option" "good/name_clash.e ADD_TEST(test_option_flatten_norm "scripts/test_option" "good/norm.ept" "-flatten") ADD_TEST(test_option_flatten_or_keep "scripts/test_option" "good/or_keep.ept" "-flatten") ADD_TEST(test_option_flatten_parametrize "scripts/test_option" "good/parametrize.ept" "-flatten") +ADD_TEST(test_option_flatten_pip "scripts/test_option" "good/pip.ept" "-flatten") +ADD_TEST(test_option_flatten_pip_slice "scripts/test_option" "good/pip_slice.ept" "-flatten") ADD_TEST(test_option_flatten_pre_tuple "scripts/test_option" "good/pre_tuple.ept" "-flatten") +ADD_TEST(test_option_flatten_quasi "scripts/test_option" "good/quasi.ept" "-flatten") ADD_TEST(test_option_flatten_reinit "scripts/test_option" "good/reinit.ept" "-flatten") ADD_TEST(test_option_flatten_sampling_stateful_output2 "scripts/test_option" "good/sampling_stateful_output2.ept" "-flatten") ADD_TEST(test_option_flatten_sampling_stateful_output "scripts/test_option" "good/sampling_stateful_output.ept" "-flatten") @@ -462,6 +528,7 @@ ADD_TEST(test_option_flatten_tuple_args "scripts/test_option" "good/tuple_args.e ADD_TEST(test_option_flatten_type_alias "scripts/test_option" "good/type_alias.ept" "-flatten") ADD_TEST(test_option_flatten_updown "scripts/test_option" "good/updown.ept" "-flatten") ADD_TEST(test_option_flatten_when_merge1 "scripts/test_option" "good/when_merge1.ept" "-flatten") +ADD_TEST(test_option_itfusion_ais "scripts/test_option" "good/ais.ept" "-itfusion") ADD_TEST(test_option_itfusion_alloc "scripts/test_option" "good/alloc.ept" "-itfusion") ADD_TEST(test_option_itfusion_array1 "scripts/test_option" "good/array1.ept" "-itfusion") ADD_TEST(test_option_itfusion_array2 "scripts/test_option" "good/array2.ept" "-itfusion") @@ -474,12 +541,18 @@ ADD_TEST(test_option_itfusion_auto "scripts/test_option" "good/auto.ept" "-itfus ADD_TEST(test_option_itfusion_autohiera2 "scripts/test_option" "good/autohiera2.ept" "-itfusion") ADD_TEST(test_option_itfusion_autohiera "scripts/test_option" "good/autohiera.ept" "-itfusion") ADD_TEST(test_option_itfusion_bad_updown "scripts/test_option" "good/bad_updown.ept" "-itfusion") +ADD_TEST(test_option_itfusion_ce "scripts/test_option" "good/ce.ept" "-itfusion") ADD_TEST(test_option_itfusion_ckannot "scripts/test_option" "good/ckannot.ept" "-itfusion") ADD_TEST(test_option_itfusion_clock_causality "scripts/test_option" "good/clock_causality.ept" "-itfusion") ADD_TEST(test_option_itfusion_clocks "scripts/test_option" "good/clocks.ept" "-itfusion") +ADD_TEST(test_option_itfusion_contract_automaton "scripts/test_option" "good/contract_automaton.ept" "-itfusion") +ADD_TEST(test_option_itfusion_contract "scripts/test_option" "good/contract.ept" "-itfusion") +ADD_TEST(test_option_itfusion_convolutions "scripts/test_option" "good/convolutions.ept" "-itfusion") ADD_TEST(test_option_itfusion_counter "scripts/test_option" "good/counter.ept" "-itfusion") ADD_TEST(test_option_itfusion_current "scripts/test_option" "good/current.ept" "-itfusion") +ADD_TEST(test_option_itfusion_downscale "scripts/test_option" "good/downscale.ept" "-itfusion") ADD_TEST(test_option_itfusion_fbyfby2 "scripts/test_option" "good/fbyfby2.ept" "-itfusion") +ADD_TEST(test_option_itfusion_foldi_arrays "scripts/test_option" "good/foldi_arrays.ept" "-itfusion") ADD_TEST(test_option_itfusion_foldi "scripts/test_option" "good/foldi.ept" "-itfusion") ADD_TEST(test_option_itfusion_format "scripts/test_option" "good/format.ept" "-itfusion") ADD_TEST(test_option_itfusion_grosauto_clock "scripts/test_option" "good/grosauto_clock.ept" "-itfusion") @@ -490,6 +563,7 @@ ADD_TEST(test_option_itfusion_linear "scripts/test_option" "good/linear.ept" "-i ADD_TEST(test_option_itfusion_linear_init "scripts/test_option" "good/linear_init.ept" "-itfusion") ADD_TEST(test_option_itfusion_linear_split "scripts/test_option" "good/linear_split.ept" "-itfusion") ADD_TEST(test_option_itfusion_linear_vars "scripts/test_option" "good/linear_vars.ept" "-itfusion") +ADD_TEST(test_option_itfusion_mapnot "scripts/test_option" "good/mapnot.ept" "-itfusion") ADD_TEST(test_option_itfusion_memalloc_clocks "scripts/test_option" "good/memalloc_clocks.ept" "-itfusion") ADD_TEST(test_option_itfusion_memalloc_record "scripts/test_option" "good/memalloc_record.ept" "-itfusion") ADD_TEST(test_option_itfusion_memalloc_simple "scripts/test_option" "good/memalloc_simple.ept" "-itfusion") @@ -497,7 +571,10 @@ ADD_TEST(test_option_itfusion_name_clash "scripts/test_option" "good/name_clash. ADD_TEST(test_option_itfusion_norm "scripts/test_option" "good/norm.ept" "-itfusion") ADD_TEST(test_option_itfusion_or_keep "scripts/test_option" "good/or_keep.ept" "-itfusion") ADD_TEST(test_option_itfusion_parametrize "scripts/test_option" "good/parametrize.ept" "-itfusion") +ADD_TEST(test_option_itfusion_pip "scripts/test_option" "good/pip.ept" "-itfusion") +ADD_TEST(test_option_itfusion_pip_slice "scripts/test_option" "good/pip_slice.ept" "-itfusion") ADD_TEST(test_option_itfusion_pre_tuple "scripts/test_option" "good/pre_tuple.ept" "-itfusion") +ADD_TEST(test_option_itfusion_quasi "scripts/test_option" "good/quasi.ept" "-itfusion") ADD_TEST(test_option_itfusion_reinit "scripts/test_option" "good/reinit.ept" "-itfusion") ADD_TEST(test_option_itfusion_sampling_stateful_output2 "scripts/test_option" "good/sampling_stateful_output2.ept" "-itfusion") ADD_TEST(test_option_itfusion_sampling_stateful_output "scripts/test_option" "good/sampling_stateful_output.ept" "-itfusion") @@ -534,6 +611,7 @@ ADD_TEST(test_option_itfusion_tuple_args "scripts/test_option" "good/tuple_args. ADD_TEST(test_option_itfusion_type_alias "scripts/test_option" "good/type_alias.ept" "-itfusion") ADD_TEST(test_option_itfusion_updown "scripts/test_option" "good/updown.ept" "-itfusion") ADD_TEST(test_option_itfusion_when_merge1 "scripts/test_option" "good/when_merge1.ept" "-itfusion") +ADD_TEST(test_option_memalloc_ais "scripts/test_option" "good/ais.ept" "-memalloc") ADD_TEST(test_option_memalloc_alloc "scripts/test_option" "good/alloc.ept" "-memalloc") ADD_TEST(test_option_memalloc_array1 "scripts/test_option" "good/array1.ept" "-memalloc") ADD_TEST(test_option_memalloc_array2 "scripts/test_option" "good/array2.ept" "-memalloc") @@ -546,12 +624,18 @@ ADD_TEST(test_option_memalloc_auto "scripts/test_option" "good/auto.ept" "-memal ADD_TEST(test_option_memalloc_autohiera2 "scripts/test_option" "good/autohiera2.ept" "-memalloc") ADD_TEST(test_option_memalloc_autohiera "scripts/test_option" "good/autohiera.ept" "-memalloc") ADD_TEST(test_option_memalloc_bad_updown "scripts/test_option" "good/bad_updown.ept" "-memalloc") +ADD_TEST(test_option_memalloc_ce "scripts/test_option" "good/ce.ept" "-memalloc") ADD_TEST(test_option_memalloc_ckannot "scripts/test_option" "good/ckannot.ept" "-memalloc") ADD_TEST(test_option_memalloc_clock_causality "scripts/test_option" "good/clock_causality.ept" "-memalloc") ADD_TEST(test_option_memalloc_clocks "scripts/test_option" "good/clocks.ept" "-memalloc") +ADD_TEST(test_option_memalloc_contract_automaton "scripts/test_option" "good/contract_automaton.ept" "-memalloc") +ADD_TEST(test_option_memalloc_contract "scripts/test_option" "good/contract.ept" "-memalloc") +ADD_TEST(test_option_memalloc_convolutions "scripts/test_option" "good/convolutions.ept" "-memalloc") ADD_TEST(test_option_memalloc_counter "scripts/test_option" "good/counter.ept" "-memalloc") ADD_TEST(test_option_memalloc_current "scripts/test_option" "good/current.ept" "-memalloc") +ADD_TEST(test_option_memalloc_downscale "scripts/test_option" "good/downscale.ept" "-memalloc") ADD_TEST(test_option_memalloc_fbyfby2 "scripts/test_option" "good/fbyfby2.ept" "-memalloc") +ADD_TEST(test_option_memalloc_foldi_arrays "scripts/test_option" "good/foldi_arrays.ept" "-memalloc") ADD_TEST(test_option_memalloc_foldi "scripts/test_option" "good/foldi.ept" "-memalloc") ADD_TEST(test_option_memalloc_format "scripts/test_option" "good/format.ept" "-memalloc") ADD_TEST(test_option_memalloc_grosauto_clock "scripts/test_option" "good/grosauto_clock.ept" "-memalloc") @@ -562,6 +646,7 @@ ADD_TEST(test_option_memalloc_linear "scripts/test_option" "good/linear.ept" "-m ADD_TEST(test_option_memalloc_linear_init "scripts/test_option" "good/linear_init.ept" "-memalloc") ADD_TEST(test_option_memalloc_linear_split "scripts/test_option" "good/linear_split.ept" "-memalloc") ADD_TEST(test_option_memalloc_linear_vars "scripts/test_option" "good/linear_vars.ept" "-memalloc") +ADD_TEST(test_option_memalloc_mapnot "scripts/test_option" "good/mapnot.ept" "-memalloc") ADD_TEST(test_option_memalloc_memalloc_clocks "scripts/test_option" "good/memalloc_clocks.ept" "-memalloc") ADD_TEST(test_option_memalloc_memalloc_record "scripts/test_option" "good/memalloc_record.ept" "-memalloc") ADD_TEST(test_option_memalloc_memalloc_simple "scripts/test_option" "good/memalloc_simple.ept" "-memalloc") @@ -569,7 +654,10 @@ ADD_TEST(test_option_memalloc_name_clash "scripts/test_option" "good/name_clash. ADD_TEST(test_option_memalloc_norm "scripts/test_option" "good/norm.ept" "-memalloc") ADD_TEST(test_option_memalloc_or_keep "scripts/test_option" "good/or_keep.ept" "-memalloc") ADD_TEST(test_option_memalloc_parametrize "scripts/test_option" "good/parametrize.ept" "-memalloc") +ADD_TEST(test_option_memalloc_pip "scripts/test_option" "good/pip.ept" "-memalloc") +ADD_TEST(test_option_memalloc_pip_slice "scripts/test_option" "good/pip_slice.ept" "-memalloc") ADD_TEST(test_option_memalloc_pre_tuple "scripts/test_option" "good/pre_tuple.ept" "-memalloc") +ADD_TEST(test_option_memalloc_quasi "scripts/test_option" "good/quasi.ept" "-memalloc") ADD_TEST(test_option_memalloc_reinit "scripts/test_option" "good/reinit.ept" "-memalloc") ADD_TEST(test_option_memalloc_sampling_stateful_output2 "scripts/test_option" "good/sampling_stateful_output2.ept" "-memalloc") ADD_TEST(test_option_memalloc_sampling_stateful_output "scripts/test_option" "good/sampling_stateful_output.ept" "-memalloc") @@ -606,6 +694,7 @@ ADD_TEST(test_option_memalloc_tuple_args "scripts/test_option" "good/tuple_args. ADD_TEST(test_option_memalloc_type_alias "scripts/test_option" "good/type_alias.ept" "-memalloc") ADD_TEST(test_option_memalloc_updown "scripts/test_option" "good/updown.ept" "-memalloc") ADD_TEST(test_option_memalloc_when_merge1 "scripts/test_option" "good/when_merge1.ept" "-memalloc") +ADD_TEST(test_option_unroll_ais "scripts/test_option" "good/ais.ept" "-unroll") ADD_TEST(test_option_unroll_alloc "scripts/test_option" "good/alloc.ept" "-unroll") ADD_TEST(test_option_unroll_array1 "scripts/test_option" "good/array1.ept" "-unroll") ADD_TEST(test_option_unroll_array2 "scripts/test_option" "good/array2.ept" "-unroll") @@ -618,12 +707,18 @@ ADD_TEST(test_option_unroll_auto "scripts/test_option" "good/auto.ept" "-unroll" ADD_TEST(test_option_unroll_autohiera2 "scripts/test_option" "good/autohiera2.ept" "-unroll") ADD_TEST(test_option_unroll_autohiera "scripts/test_option" "good/autohiera.ept" "-unroll") ADD_TEST(test_option_unroll_bad_updown "scripts/test_option" "good/bad_updown.ept" "-unroll") +ADD_TEST(test_option_unroll_ce "scripts/test_option" "good/ce.ept" "-unroll") ADD_TEST(test_option_unroll_ckannot "scripts/test_option" "good/ckannot.ept" "-unroll") ADD_TEST(test_option_unroll_clock_causality "scripts/test_option" "good/clock_causality.ept" "-unroll") ADD_TEST(test_option_unroll_clocks "scripts/test_option" "good/clocks.ept" "-unroll") +ADD_TEST(test_option_unroll_contract_automaton "scripts/test_option" "good/contract_automaton.ept" "-unroll") +ADD_TEST(test_option_unroll_contract "scripts/test_option" "good/contract.ept" "-unroll") +ADD_TEST(test_option_unroll_convolutions "scripts/test_option" "good/convolutions.ept" "-unroll") ADD_TEST(test_option_unroll_counter "scripts/test_option" "good/counter.ept" "-unroll") ADD_TEST(test_option_unroll_current "scripts/test_option" "good/current.ept" "-unroll") +ADD_TEST(test_option_unroll_downscale "scripts/test_option" "good/downscale.ept" "-unroll") ADD_TEST(test_option_unroll_fbyfby2 "scripts/test_option" "good/fbyfby2.ept" "-unroll") +ADD_TEST(test_option_unroll_foldi_arrays "scripts/test_option" "good/foldi_arrays.ept" "-unroll") ADD_TEST(test_option_unroll_foldi "scripts/test_option" "good/foldi.ept" "-unroll") ADD_TEST(test_option_unroll_format "scripts/test_option" "good/format.ept" "-unroll") ADD_TEST(test_option_unroll_grosauto_clock "scripts/test_option" "good/grosauto_clock.ept" "-unroll") @@ -634,6 +729,7 @@ ADD_TEST(test_option_unroll_linear "scripts/test_option" "good/linear.ept" "-unr ADD_TEST(test_option_unroll_linear_init "scripts/test_option" "good/linear_init.ept" "-unroll") ADD_TEST(test_option_unroll_linear_split "scripts/test_option" "good/linear_split.ept" "-unroll") ADD_TEST(test_option_unroll_linear_vars "scripts/test_option" "good/linear_vars.ept" "-unroll") +ADD_TEST(test_option_unroll_mapnot "scripts/test_option" "good/mapnot.ept" "-unroll") ADD_TEST(test_option_unroll_memalloc_clocks "scripts/test_option" "good/memalloc_clocks.ept" "-unroll") ADD_TEST(test_option_unroll_memalloc_record "scripts/test_option" "good/memalloc_record.ept" "-unroll") ADD_TEST(test_option_unroll_memalloc_simple "scripts/test_option" "good/memalloc_simple.ept" "-unroll") @@ -641,7 +737,10 @@ ADD_TEST(test_option_unroll_name_clash "scripts/test_option" "good/name_clash.ep ADD_TEST(test_option_unroll_norm "scripts/test_option" "good/norm.ept" "-unroll") ADD_TEST(test_option_unroll_or_keep "scripts/test_option" "good/or_keep.ept" "-unroll") ADD_TEST(test_option_unroll_parametrize "scripts/test_option" "good/parametrize.ept" "-unroll") +ADD_TEST(test_option_unroll_pip "scripts/test_option" "good/pip.ept" "-unroll") +ADD_TEST(test_option_unroll_pip_slice "scripts/test_option" "good/pip_slice.ept" "-unroll") ADD_TEST(test_option_unroll_pre_tuple "scripts/test_option" "good/pre_tuple.ept" "-unroll") +ADD_TEST(test_option_unroll_quasi "scripts/test_option" "good/quasi.ept" "-unroll") ADD_TEST(test_option_unroll_reinit "scripts/test_option" "good/reinit.ept" "-unroll") ADD_TEST(test_option_unroll_sampling_stateful_output2 "scripts/test_option" "good/sampling_stateful_output2.ept" "-unroll") ADD_TEST(test_option_unroll_sampling_stateful_output "scripts/test_option" "good/sampling_stateful_output.ept" "-unroll") @@ -678,6 +777,7 @@ ADD_TEST(test_option_unroll_tuple_args "scripts/test_option" "good/tuple_args.ep ADD_TEST(test_option_unroll_type_alias "scripts/test_option" "good/type_alias.ept" "-unroll") ADD_TEST(test_option_unroll_updown "scripts/test_option" "good/updown.ept" "-unroll") ADD_TEST(test_option_unroll_when_merge1 "scripts/test_option" "good/when_merge1.ept" "-unroll") +ADD_TEST(test_option_O_ais "scripts/test_option" "good/ais.ept" "-O") ADD_TEST(test_option_O_alloc "scripts/test_option" "good/alloc.ept" "-O") ADD_TEST(test_option_O_array1 "scripts/test_option" "good/array1.ept" "-O") ADD_TEST(test_option_O_array2 "scripts/test_option" "good/array2.ept" "-O") @@ -690,12 +790,18 @@ ADD_TEST(test_option_O_auto "scripts/test_option" "good/auto.ept" "-O") ADD_TEST(test_option_O_autohiera2 "scripts/test_option" "good/autohiera2.ept" "-O") ADD_TEST(test_option_O_autohiera "scripts/test_option" "good/autohiera.ept" "-O") ADD_TEST(test_option_O_bad_updown "scripts/test_option" "good/bad_updown.ept" "-O") +ADD_TEST(test_option_O_ce "scripts/test_option" "good/ce.ept" "-O") ADD_TEST(test_option_O_ckannot "scripts/test_option" "good/ckannot.ept" "-O") ADD_TEST(test_option_O_clock_causality "scripts/test_option" "good/clock_causality.ept" "-O") ADD_TEST(test_option_O_clocks "scripts/test_option" "good/clocks.ept" "-O") +ADD_TEST(test_option_O_contract_automaton "scripts/test_option" "good/contract_automaton.ept" "-O") +ADD_TEST(test_option_O_contract "scripts/test_option" "good/contract.ept" "-O") +ADD_TEST(test_option_O_convolutions "scripts/test_option" "good/convolutions.ept" "-O") ADD_TEST(test_option_O_counter "scripts/test_option" "good/counter.ept" "-O") ADD_TEST(test_option_O_current "scripts/test_option" "good/current.ept" "-O") +ADD_TEST(test_option_O_downscale "scripts/test_option" "good/downscale.ept" "-O") ADD_TEST(test_option_O_fbyfby2 "scripts/test_option" "good/fbyfby2.ept" "-O") +ADD_TEST(test_option_O_foldi_arrays "scripts/test_option" "good/foldi_arrays.ept" "-O") ADD_TEST(test_option_O_foldi "scripts/test_option" "good/foldi.ept" "-O") ADD_TEST(test_option_O_format "scripts/test_option" "good/format.ept" "-O") ADD_TEST(test_option_O_grosauto_clock "scripts/test_option" "good/grosauto_clock.ept" "-O") @@ -706,6 +812,7 @@ ADD_TEST(test_option_O_linear "scripts/test_option" "good/linear.ept" "-O") ADD_TEST(test_option_O_linear_init "scripts/test_option" "good/linear_init.ept" "-O") ADD_TEST(test_option_O_linear_split "scripts/test_option" "good/linear_split.ept" "-O") ADD_TEST(test_option_O_linear_vars "scripts/test_option" "good/linear_vars.ept" "-O") +ADD_TEST(test_option_O_mapnot "scripts/test_option" "good/mapnot.ept" "-O") ADD_TEST(test_option_O_memalloc_clocks "scripts/test_option" "good/memalloc_clocks.ept" "-O") ADD_TEST(test_option_O_memalloc_record "scripts/test_option" "good/memalloc_record.ept" "-O") ADD_TEST(test_option_O_memalloc_simple "scripts/test_option" "good/memalloc_simple.ept" "-O") @@ -713,7 +820,10 @@ ADD_TEST(test_option_O_name_clash "scripts/test_option" "good/name_clash.ept" "- ADD_TEST(test_option_O_norm "scripts/test_option" "good/norm.ept" "-O") ADD_TEST(test_option_O_or_keep "scripts/test_option" "good/or_keep.ept" "-O") ADD_TEST(test_option_O_parametrize "scripts/test_option" "good/parametrize.ept" "-O") +ADD_TEST(test_option_O_pip "scripts/test_option" "good/pip.ept" "-O") +ADD_TEST(test_option_O_pip_slice "scripts/test_option" "good/pip_slice.ept" "-O") ADD_TEST(test_option_O_pre_tuple "scripts/test_option" "good/pre_tuple.ept" "-O") +ADD_TEST(test_option_O_quasi "scripts/test_option" "good/quasi.ept" "-O") ADD_TEST(test_option_O_reinit "scripts/test_option" "good/reinit.ept" "-O") ADD_TEST(test_option_O_sampling_stateful_output2 "scripts/test_option" "good/sampling_stateful_output2.ept" "-O") ADD_TEST(test_option_O_sampling_stateful_output "scripts/test_option" "good/sampling_stateful_output.ept" "-O") @@ -750,6 +860,7 @@ ADD_TEST(test_option_O_tuple_args "scripts/test_option" "good/tuple_args.ept" "- ADD_TEST(test_option_O_type_alias "scripts/test_option" "good/type_alias.ept" "-O") ADD_TEST(test_option_O_updown "scripts/test_option" "good/updown.ept" "-O") ADD_TEST(test_option_O_when_merge1 "scripts/test_option" "good/when_merge1.ept" "-O") +ADD_TEST(compile_javac_run_ais "scripts/compile_javac_run" "good/ais.ept") ADD_TEST(compile_javac_run_alloc "scripts/compile_javac_run" "good/alloc.ept") ADD_TEST(compile_javac_run_array1 "scripts/compile_javac_run" "good/array1.ept") ADD_TEST(compile_javac_run_array2 "scripts/compile_javac_run" "good/array2.ept") @@ -762,12 +873,18 @@ ADD_TEST(compile_javac_run_auto "scripts/compile_javac_run" "good/auto.ept") ADD_TEST(compile_javac_run_autohiera2 "scripts/compile_javac_run" "good/autohiera2.ept") ADD_TEST(compile_javac_run_autohiera "scripts/compile_javac_run" "good/autohiera.ept") ADD_TEST(compile_javac_run_bad_updown "scripts/compile_javac_run" "good/bad_updown.ept") +ADD_TEST(compile_javac_run_ce "scripts/compile_javac_run" "good/ce.ept") ADD_TEST(compile_javac_run_ckannot "scripts/compile_javac_run" "good/ckannot.ept") ADD_TEST(compile_javac_run_clock_causality "scripts/compile_javac_run" "good/clock_causality.ept") ADD_TEST(compile_javac_run_clocks "scripts/compile_javac_run" "good/clocks.ept") +ADD_TEST(compile_javac_run_contract_automaton "scripts/compile_javac_run" "good/contract_automaton.ept") +ADD_TEST(compile_javac_run_contract "scripts/compile_javac_run" "good/contract.ept") +ADD_TEST(compile_javac_run_convolutions "scripts/compile_javac_run" "good/convolutions.ept") ADD_TEST(compile_javac_run_counter "scripts/compile_javac_run" "good/counter.ept") ADD_TEST(compile_javac_run_current "scripts/compile_javac_run" "good/current.ept") +ADD_TEST(compile_javac_run_downscale "scripts/compile_javac_run" "good/downscale.ept") ADD_TEST(compile_javac_run_fbyfby2 "scripts/compile_javac_run" "good/fbyfby2.ept") +ADD_TEST(compile_javac_run_foldi_arrays "scripts/compile_javac_run" "good/foldi_arrays.ept") ADD_TEST(compile_javac_run_foldi "scripts/compile_javac_run" "good/foldi.ept") ADD_TEST(compile_javac_run_format "scripts/compile_javac_run" "good/format.ept") ADD_TEST(compile_javac_run_grosauto_clock "scripts/compile_javac_run" "good/grosauto_clock.ept") @@ -778,6 +895,7 @@ ADD_TEST(compile_javac_run_linear "scripts/compile_javac_run" "good/linear.ept") ADD_TEST(compile_javac_run_linear_init "scripts/compile_javac_run" "good/linear_init.ept") ADD_TEST(compile_javac_run_linear_split "scripts/compile_javac_run" "good/linear_split.ept") ADD_TEST(compile_javac_run_linear_vars "scripts/compile_javac_run" "good/linear_vars.ept") +ADD_TEST(compile_javac_run_mapnot "scripts/compile_javac_run" "good/mapnot.ept") ADD_TEST(compile_javac_run_memalloc_clocks "scripts/compile_javac_run" "good/memalloc_clocks.ept") ADD_TEST(compile_javac_run_memalloc_record "scripts/compile_javac_run" "good/memalloc_record.ept") ADD_TEST(compile_javac_run_memalloc_simple "scripts/compile_javac_run" "good/memalloc_simple.ept") @@ -785,7 +903,10 @@ ADD_TEST(compile_javac_run_name_clash "scripts/compile_javac_run" "good/name_cla ADD_TEST(compile_javac_run_norm "scripts/compile_javac_run" "good/norm.ept") ADD_TEST(compile_javac_run_or_keep "scripts/compile_javac_run" "good/or_keep.ept") ADD_TEST(compile_javac_run_parametrize "scripts/compile_javac_run" "good/parametrize.ept") +ADD_TEST(compile_javac_run_pip "scripts/compile_javac_run" "good/pip.ept") +ADD_TEST(compile_javac_run_pip_slice "scripts/compile_javac_run" "good/pip_slice.ept") ADD_TEST(compile_javac_run_pre_tuple "scripts/compile_javac_run" "good/pre_tuple.ept") +ADD_TEST(compile_javac_run_quasi "scripts/compile_javac_run" "good/quasi.ept") ADD_TEST(compile_javac_run_reinit "scripts/compile_javac_run" "good/reinit.ept") ADD_TEST(compile_javac_run_sampling_stateful_output2 "scripts/compile_javac_run" "good/sampling_stateful_output2.ept") ADD_TEST(compile_javac_run_sampling_stateful_output "scripts/compile_javac_run" "good/sampling_stateful_output.ept") diff --git a/test/good/ais.ept b/test/good/ais.ept new file mode 100644 index 0000000..d31dc9d --- /dev/null +++ b/test/good/ais.ept @@ -0,0 +1,8 @@ +type int_array = int^8 +type s = { t : int_array } + +node f(x : int_array) returns (r : s) +let + r = { t = x }; +tel + diff --git a/test/good/ce.ept b/test/good/ce.ept new file mode 100644 index 0000000..9b57b06 --- /dev/null +++ b/test/good/ce.ept @@ -0,0 +1,3 @@ +const c1 : int = 0 +const c2 : int = c1 + diff --git a/test/good/contract.ept b/test/good/contract.ept new file mode 100644 index 0000000..f0e3112 --- /dev/null +++ b/test/good/contract.ept @@ -0,0 +1,41 @@ +node f(x : bool) returns (y : bool) + +contract +var c, cx : bool; +let + c = not y; + cx = not (x & false fby x); +tel +assume cx +enforce c + +let + automaton + state A do y = x unless x then B + state B do y = false fby x until x then A + end +tel + +node g(x : bool) returns (y : bool) + +contract +var ok : bool; +let + automaton + state No_x do ok = true until x then One_x + state One_x do ok = not x + until x then Error + | not x then One_no_x + state One_no_x do ok = not x + until x then Error + | not x then No_x + state Error do ok = false + end +tel +assume ok +enforce not y + +let + y = f(x); +tel + diff --git a/test/good/contract_automaton.ept b/test/good/contract_automaton.ept new file mode 100644 index 0000000..1fe5fbb --- /dev/null +++ b/test/good/contract_automaton.ept @@ -0,0 +1,50 @@ +node f(x : bool) returns (y : bool) + +contract +var c, cx : bool; +let + c = not y; + cx = not (x & false fby x); +tel +assume cx +enforce c + +let + automaton + state A do y = x unless x then B + state B do y = false fby x until x then A + end +tel + +node g(x : bool) returns (last y : bool) + +contract +var ok : bool; +let + automaton + state No_x do ok = true until x then One_x + state One_x do ok = not x + until x then Error + | not x then One_no_x + state One_no_x do ok = not x + until x then Error + | not x then No_x + state Error do ok = false + end +tel +assume ok +enforce not y + +let + automaton + state Idle do y = false -> last y + until x then Active + state Active + var c : int; + do + y = f(x); + c = 1 fby c + 1; + until c = 20 then Idle + end +tel + diff --git a/test/good/tuple_args.ept b/test/good/tuple_args.ept old mode 100755 new mode 100644