Adding `#pragma CPROVER enable "named-check"`#6450

Merged

tautschnig merged 9 commits intodiffblue:developfrom

remi-delmas-3000:pragma-cprover-enable

Dec 1, 2021

Commits on Dec 1, 2021

Adding support for check enable pragmas in the ansi-c lexer and parser
Remi Delmas
committed
Adds a message_handlert to goto_check functions and goto_checkt.
Remi Delmas
committed
collect_allocations is now always on.
Remi Delmas
committed
Adding extra logic to flat_resett to detect and trigger errors on double updates with opposite values.
Remi Delmas
committed
Adds processing of enable pragmas with flag_resett
Remi Delmas
committed
Regression tests for enable pragmas
Remi Delmas
committed
Remove unused import
Remi Delmas
committed
Updated documentation for CPROVER check enable and disable pragmas.
Remi Delmas
committed
Removing unused import
Remi Delmas
committed