Actions
Feature #8627
closedAllow forbidding checking final state
Start date:
12/13/2017
Due date:
% Done:
0%
Estimated time:
Published in build:
Description
One more trivial step towards checking C programs different from Linux kernel loadable modules is to have an option to forbid checking the final state. There is some code for which checking final state doesn't have sense while we still can check correctness rules assuming checking the final state for that code.
Actions