src/plugins/e-acsl/tests/e-acsl-runtime/oracle/valid.res.oracle · eec22888a5521be6d972060d082d9174a826b96c · pub / frama-c

11 years ago

Julien Signoles authored 11 years ago

[E-ACSL] fixed non-termination issue in presence of RTEs in RTE
[E-ACSl] pre-analysis: additional verbosing messages (level 4)

eec22888

Julien Signoles authored 11 years ago

[E-ACSL] fixed non-termination issue in presence of RTEs in RTE
[E-ACSl] pre-analysis: additional verbosing messages (level 4)

valid.res.oracle 7.75 KiB