Merge branch 'feature/aorai/enable-dune-tests' into 'feature/bobot/jbuilder'

[aorai] Enable dune tests

See merge request frama-c/frama-c!3641

src/plugins/aorai/.gitignore

-/tests/*/dune
 /aorai_eva_analysis.ml
 /Makefile
 /*parser*.output
 /ptests_local_config.ml
 /tests/*/result
-/tests/test_config_prove
 /tests/*/result_prove
 /top

src/plugins/aorai/tests/ptests_config

-IGNORE= DEFAULT_SUITES= ya
-IGNORE= prove_SUITES= ya
+DEFAULT_SUITES= ya
+prove_SUITES= ya

src/plugins/aorai/tests/test_config

-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

src/plugins/aorai/tests/test_config_prove.in → 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

src/plugins/aorai/tests/ya/dune

+(library
+ (name Name_projects)
+ (modules Name_projects)
+ (libraries frama-c.init.cmdline frama-c.boot frama-c.kernel)
+ (flags -open Frama_c_kernel)
+)