[tests] replace most remaining -load-script with -load-module
also fixes list of `.ml` files in test directories belonging to the kernel
Showing
- Makefile 17 additions, 11 deletionsMakefile
- src/plugins/aorai/Makefile.in 2 additions, 2 deletionssrc/plugins/aorai/Makefile.in
- src/plugins/aorai/tests/aorai/assigns.c 2 additions, 1 deletionsrc/plugins/aorai/tests/aorai/assigns.c
- src/plugins/wp/tests/wp_plugin/combined.c 2 additions, 1 deletionsrc/plugins/wp/tests/wp_plugin/combined.c
- src/plugins/wp/tests/wp_plugin/combined.ml 0 additions, 22 deletionssrc/plugins/wp/tests/wp_plugin/combined.ml
- src/plugins/wp/tests/wp_plugin/oracle/combined.res.oracle 18 additions, 18 deletionssrc/plugins/wp/tests/wp_plugin/oracle/combined.res.oracle
- tests/builtins/big_local_array.i 2 additions, 1 deletiontests/builtins/big_local_array.i
- tests/float/fval_test.i 2 additions, 2 deletionstests/float/fval_test.i
- tests/journal/control.i 3 additions, 3 deletionstests/journal/control.i
- tests/libc/fc_libc.c 5 additions, 2 deletionstests/libc/fc_libc.c
- tests/libc/oracle/fc_libc.0.res.oracle 3 additions, 3 deletionstests/libc/oracle/fc_libc.0.res.oracle
- tests/misc/custom_machdep.c 2 additions, 1 deletiontests/misc/custom_machdep.c
- tests/misc/log_twice.i 2 additions, 1 deletiontests/misc/log_twice.i
- tests/misc/oracle/log_twice.res.oracle 10 additions, 10 deletionstests/misc/oracle/log_twice.res.oracle
- tests/misc/visitor_creates_func_bts_1349.i 2 additions, 1 deletiontests/misc/visitor_creates_func_bts_1349.i
- tests/misc/visitor_creates_func_bts_1349.ml 0 additions, 0 deletionstests/misc/visitor_creates_func_bts_1349.ml
- tests/pdg/sets.c 2 additions, 2 deletionstests/pdg/sets.c
- tests/rte/precond2.c 2 additions, 1 deletiontests/rte/precond2.c
- tests/rte/threefunc.c 2 additions, 1 deletiontests/rte/threefunc.c
- tests/rte/twofunc.c 2 additions, 1 deletiontests/rte/twofunc.c
Loading
Please register or sign in to comment