Skip to content

Commit 1d7c902

Browse files
peterschrammelpeterschrammel
committed
Remove obsolete bmc.cpp and all_properties.cpp
These have now been entirely replaced by goto-checker.
1 parent 7ca5b57 commit 1d7c902

File tree

6 files changed

+1
-1090
lines changed

6 files changed

+1
-1090
lines changed

‎jbmc/src/jbmc/Makefile

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,4 @@
1-
SRC = all_properties.cpp \
2-
bmc.cpp \
3-
jbmc_main.cpp \
1+
SRC = jbmc_main.cpp \
42
jbmc_parse_options.cpp \
53
# Empty last line
64

‎jbmc/src/jbmc/all_properties.cpp

Lines changed: 0 additions & 306 deletions
This file was deleted.

0 commit comments

Comments
 (0)