diff --git a/src/plugins/aorai/.gitignore b/src/plugins/aorai/.gitignore index a43b915b9e79f7d033812989050115e2a6b0fa7e..ad6e08d6507d65fbc0cf193acc21fda8a2f174cd 100644 --- a/src/plugins/aorai/.gitignore +++ b/src/plugins/aorai/.gitignore @@ -1,9 +1,7 @@ -/tests/*/dune /aorai_eva_analysis.ml /Makefile /*parser*.output /ptests_local_config.ml /tests/*/result -/tests/test_config_prove /tests/*/result_prove /top diff --git a/src/plugins/aorai/tests/ptests_config b/src/plugins/aorai/tests/ptests_config index a9b80be978ba3c4a8eadff10ebff030bc6719e2f..34b21cc61881d5f098943d7647fde26effacf51e 100644 --- a/src/plugins/aorai/tests/ptests_config +++ b/src/plugins/aorai/tests/ptests_config @@ -1,2 +1,2 @@ -IGNORE= DEFAULT_SUITES= ya -IGNORE= prove_SUITES= ya +DEFAULT_SUITES= ya +prove_SUITES= ya diff --git a/src/plugins/aorai/tests/test_config b/src/plugins/aorai/tests/test_config index 9ff1b014011bbb31f78dfc53604b40012240b119..641f2fa59a927aa514395c0aaf8d4f9c56500d3d 100644 --- a/src/plugins/aorai/tests/test_config +++ b/src/plugins/aorai/tests/test_config @@ -1,4 +1,4 @@ -PLUGIN: aorai eva,from,scope report wp,rtegen +PLUGIN: aorai eva,from,scope,inout report wp,rtegen COMMENT: Path to the library from the test file LIBS: @PTEST_SUITE_DIR@/../Aorai_test diff --git a/src/plugins/aorai/tests/test_config_prove.in b/src/plugins/aorai/tests/test_config_prove similarity index 62% rename from src/plugins/aorai/tests/test_config_prove.in rename to src/plugins/aorai/tests/test_config_prove index ae55e4b9462edc364bdedae55565fd7485e11342..3c896a7746867b6f2361b20e1912f78751ad310f 100644 --- a/src/plugins/aorai/tests/test_config_prove.in +++ b/src/plugins/aorai/tests/test_config_prove @@ -3,4 +3,4 @@ PLUGIN: aorai eva,from,scope report wp,rtegen COMMENT: Path to the library from the test file LIBS: @PTEST_SUITE_DIR@/../Aorai_test -MACRO: PROVE_OPTIONS @AORAI_WP_SHARE@ -wp-cache-env -aorai-test-prove-aux-spec +MACRO: PROVE_OPTIONS -wp-cache-env -aorai-test-prove-aux-spec diff --git a/src/plugins/aorai/tests/ya/dune b/src/plugins/aorai/tests/ya/dune new file mode 100644 index 0000000000000000000000000000000000000000..1a8230ea13cee57153d2c7fef0529fabdff0761e --- /dev/null +++ b/src/plugins/aorai/tests/ya/dune @@ -0,0 +1,6 @@ +(library + (name Name_projects) + (modules Name_projects) + (libraries frama-c.init.cmdline frama-c.boot frama-c.kernel) + (flags -open Frama_c_kernel) +)