src/kernel_internals/parsing/logic_parser.mly · ea9368aed25c83766bbc6b2ebdb3000ba6488ec6 · pub / frama-c

6 years ago

[Kernel] New assertion kind: Assert or Check. · 30cee395

David Bühler authored 6 years ago and

Virgile Prevosto committed 6 years ago

Asserts are both evaluated and used as hypotheses afterwards.
Checks are only evaluated, but are not used as hypotheses: they must not affect
the analyses.

30cee395

History

[Kernel] New assertion kind: Assert or Check.

David Bühler authored 6 years ago and

Virgile Prevosto committed 6 years ago

Asserts are both evaluated and used as hypotheses afterwards.
Checks are only evaluated, but are not used as hypotheses: they must not affect
the analyses.