[Tests] more use of MODULE directive

tests/cil/change_to_instr.i

 /* run.config
-OPT: -load-script tests/cil/change_to_instr.ml -print
+MODULE: @PTEST_NAME@
+  OPT: -print
 */
 
 

tests/cil/queue_ghost_instr.i

 /* run.config
-OPT: -load-script tests/cil/queue_ghost_instr.ml -print
+ MODULE: @PTEST_NAME@
+   OPT: -print
 */
 
-
 int main(){
   int i = 0 ;
   //@ ghost int j = 0 ;

tests/misc/interpreted_automata_dataflow.i

 /* run.config
-LOG: @PTEST_NAME@_forward.dot
-LOG: @PTEST_NAME@_backward.dot
-OPT: -load-script @PTEST_DIR@/@PTEST_NAME@_forward.ml -load-script @PTEST_DIR@/@PTEST_NAME@_backward.ml
+MODULE: @PTEST_NAME@_forward @PTEST_NAME@_backward
+  LOG: @PTEST_NAME@_forward.dot
+  LOG: @PTEST_NAME@_backward.dot
+  OPT:
 */
-
 /* Tests the dataflow functor of interpreted automata via a caml script
    implementing a propagation of constants. */
 

tests/misc/pp_bin_hex.i

 /* run.config
-   OPT: -no-autoload-plugins -load-script tests/misc/pp_bin_hex.ml
+ MODULE: @PTEST_NAME@
+   OPT:
 */

tests/misc/pp_int.i

 /* run.config
-   COMMENT: test of Integer.pp_bin and Integer.pp_hex
-   OPT: -load-script tests/misc/pp_int.ml
+ COMMENT: test of Integer.pp_bin and Integer.pp_hex
+ MODULE: @PTEST_NAME@
+   OPT:
  */

tests/spec/Extend_recursive_preprocess.i

 /* run.config
-MODULE: @PTEST_NAME@
-OPT: -no-autoload-plugins -kernel-warn-key=annot-error=active -print
+ MODULE: @PTEST_NAME@
+   OPT: -kernel-warn-key=annot-error=active -print
 */
 
 /*@ gl_foo foo1 {

tests/syntax/ghost_cv_var_decl.c

 /* run.config
-
  EXIT: 1
    OPT:-cpp-extra-args="-DFAIL_DECL_TYPE"
  EXIT: 0
-   OPT:-load-script @PTEST_DIR@/@PTEST_NAME@.ml
+ MODULE: @PTEST_NAME@
+   OPT:
 */