Skip to content
Snippets Groups Projects
Commit 493ffea8 authored by Patrick Baudin's avatar Patrick Baudin Committed by Virgile Prevosto
Browse files

[Tests] using MODULE directive

parent 0295bd23
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
tests/saveload/segfault_datatypes.i
+ 4
− 4
View file @ 493ffea8
/* run.config*
EXECNOW: make -s ./tests/saveload/segfault_datatypes_A.cmxs ./tests/saveload/segfault_datatypes_B.cmxs
EXECNOW: LOG segfault_datatypes_sav.res LOG segfault_datatypes_sav.err BIN segfault_datatypes.sav @frama-c@ -load-module ./tests/saveload/segfault_datatypes_A -eva @EVA_OPTIONS@ -out -input -deps ./tests/saveload/segfault_datatypes.i -save ./tests/saveload/result/segfault_datatypes.sav > ./tests/saveload/result/segfault_datatypes_sav.res 2> ./tests/saveload/result/segfault_datatypes_sav.err
STDOPT: +"-load-module ./tests/saveload/segfault_datatypes_B -load ./tests/saveload/result/segfault_datatypes.sav -eva -out -input -deps -journal-disable"
MODULE: segfault_datatypes_A
EXECNOW: LOG segfault_datatypes_sav.res LOG segfault_datatypes_sav.err BIN segfault_datatypes.sav @frama-c@ -eva @EVA_OPTIONS@ -out -input -deps @PTEST_FILE@ -save ./tests/saveload/result/segfault_datatypes.sav > ./tests/saveload/result/segfault_datatypes_sav.res 2> ./tests/saveload/result/segfault_datatypes_sav.err
MODULE: segfault_datatypes_B
STDOPT: +"-load ./tests/saveload/result/segfault_datatypes.sav -eva -out -input -deps"
*/
int main() {
int i, j;
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment