src/plugins/e-acsl/tests/e-acsl-runtime/oracle/mainargs.1.res.oracle · ee58e76705fbb8d9fde4acd531f930fa3c3119c3 · pub / frama-c · GitLab

Snippets Groups Projects

10 years ago
ee58e767
fix bug #1381, adds argc and argv to memory model when present · ee58e767
Arvid Jakobsson authored 10 years ago
```
also change gcc_test.sh so that one can pass arguments to program
under test.
```
ee58e767

History
fix bug #1381, adds argc and argv to memory model when present
Arvid Jakobsson authored 10 years ago
```
also change gcc_test.sh so that one can pass arguments to program
under test.
```