src/plugins/e-acsl/tests/e-acsl-runtime/test_config · 9c9dabfb704dd5899f2e16de773a7b58f2bb0563 · pub / frama-c · GitLab

Snippets Groups Projects

14 years ago
9c9dabfb
- renaming -e-acsl-runtime by -e-acsl-project · 9c9dabfb
Julien Signoles authored 14 years ago
```
- generating project is compilable
- first test case (for assert \true and \false)
```
9c9dabfb

History
- renaming -e-acsl-runtime by -e-acsl-project
Julien Signoles authored 14 years ago
```
- generating project is compilable
- first test case (for assert \true and \false)
```

test_config 46 B

OPT: -e-acsl-project p -then-on p -print -val