[Tests] Removes -load-script in ghost parameters tests

b7a56c93 · Allan Blanchard · Virgile Prevosto · 6b0ea837 · b7a56c93 · b7a56c93
Commit b7a56c93 authored 5 years ago by Allan Blanchard Committed by Virgile Prevosto 5 years ago
--- a/tests/cil/insert_formal.i
+++ b/tests/cil/insert_formal.i
 /* run.config
-OPT: -load-script tests/cil/insert_formal.ml -print
+EXECNOW: make -s @PTEST_DIR@/@PTEST_NAME@.cmxs
+OPT: -load-module @PTEST_DIR@/@PTEST_NAME@.cmxs -print
 */
 //                   v

--- a/tests/syntax/ghost_parameters_formals_status.i
+++ b/tests/syntax/ghost_parameters_formals_status.i
 /* run.config
-OPT: -load-script tests/syntax/ghost_parameters_formals_status.ml
+  EXECNOW: make -s @PTEST_DIR@/@PTEST_NAME@.cmxs
+  OPT: -load-module @PTEST_DIR@/@PTEST_NAME@.cmxs
 */
 void declaration_void(void) /*@ ghost (int x, int y) */ ;