Skip to content

Commit 8907e68

Browse files
tautschnigtautschnig
authored
Merge pull request #1766 from diffblue/kroening/bdd-model-checker-module
EBMC: extract BDD-based CTL model checker into standalone module
2 parents 9ad2f85 + 0e872c5 commit 8907e68

6 files changed

Lines changed: 525 additions & 313 deletions

File tree

‎src/ebmc/Makefile‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
SRC = \
22
bdd_engine.cpp \
3+
bdd_model_checker.cpp \
34
bmc.cpp \
45
build_transition_system.cpp \
56
cegar/abstract.cpp \

0 commit comments

Comments
 (0)