src/plugins/e-acsl/tests/runtime/oracle/goto.res.oracle · 6d93dc4b0eec64317249ba8c6ce68c32e7aa3c71 · pub / frama-c · GitLab

Snippets Groups Projects

"tests/libc/oracle/stdbool_as_cpp.res.oracle" did not exist on "0ee2b795bb0c910eccf6a546fe387c429d83087c"

8 years ago
5b21aefc
fix sharing bug (broken AST) with goto which points to a labeled statement... · 5b21aefc
Julien Signoles authored 8 years ago
```
fix sharing bug (broken AST) with goto which points to a labeled statement which must be instrumented
```
5b21aefc

History
fix sharing bug (broken AST) with goto which points to a labeled statement...
Julien Signoles authored 8 years ago
```
fix sharing bug (broken AST) with goto which points to a labeled statement which must be instrumented
```