src/kernel_internals/parsing/logic_parser.mly · 30cee39507a77014922ba1295d9e72eca436e49a · 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.

logic_parser.mly 55.88 KiB