Commit 6c8954b

authored

Merge pull request #4541 from peterschrammel/goto-checker-symex-driven

Symex-driven lazy loading uses goto-checker [blocks: #2212]

2 parents 51e0cd7 + f96818d commit 6c8954bCopy full SHA for 6c8954b

15 files changed

+316

-1475

lines changed

jbmc/src/jbmc
src
- goto-checker
- goto-symex
  - README.md
  - goto_symex.h
- solvers
  - README.md

15 files changed

+316

-1475

lines changed

`‎jbmc/src/jbmc/Makefile`

+1-3

-Original file line number
+Diff line change
@@ @@ -1,6 +1,4 @@ @@
 -SRC = all_properties.cpp \
 -      bmc.cpp \
 -      jbmc_main.cpp \
 +SRC = jbmc_main.cpp \
       jbmc_parse_options.cpp \
       # Empty last line

`‎jbmc/src/jbmc/all_properties.cpp`

-306

This file was deleted.

Comments

(0)