Skip to content

Preparation to make goto-analyzer work with the goto_verifiert framework - #4703

Merged
tautschnig merged 2 commits into
diffblue:developfrom
hannes-steffenhagen-diffblue:feature/goto-analyzer-usability
Jun 3, 2019
Merged

Preparation to make goto-analyzer work with the goto_verifiert framework#4703
tautschnig merged 2 commits into
diffblue:developfrom
hannes-steffenhagen-diffblue:feature/goto-analyzer-usability

Add a version of static_verifier that works with propertiest

0f4a362
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs