fix bug #1381, adds argc and argv to memory model when present
also change gcc_test.sh so that one can pass arguments to program under test.
Showing
- src/plugins/e-acsl/gcc_test.sh 12 additions, 4 deletionssrc/plugins/e-acsl/gcc_test.sh
- src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.c 14 additions, 0 deletionssrc/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.c
- src/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.h 5 additions, 0 deletionssrc/plugins/e-acsl/share/e-acsl/memory_model/e_acsl_mmodel.h
- src/plugins/e-acsl/tests/e-acsl-runtime/mainargs.i 24 additions, 0 deletionssrc/plugins/e-acsl/tests/e-acsl-runtime/mainargs.i
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_mainargs.c 248 additions, 0 deletions...plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_mainargs.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/gen_mainargs2.c 402 additions, 0 deletions...lugins/e-acsl/tests/e-acsl-runtime/oracle/gen_mainargs2.c
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/mainargs.1.err.oracle 0 additions, 0 deletions.../e-acsl/tests/e-acsl-runtime/oracle/mainargs.1.err.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/mainargs.1.res.oracle 74 additions, 0 deletions.../e-acsl/tests/e-acsl-runtime/oracle/mainargs.1.res.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/mainargs.err.oracle 0 additions, 0 deletions...ns/e-acsl/tests/e-acsl-runtime/oracle/mainargs.err.oracle
- src/plugins/e-acsl/tests/e-acsl-runtime/oracle/mainargs.res.oracle 49 additions, 0 deletions...ns/e-acsl/tests/e-acsl-runtime/oracle/mainargs.res.oracle
- src/plugins/e-acsl/visit.ml 32 additions, 10 deletionssrc/plugins/e-acsl/visit.ml
Loading
Please register or sign in to comment