Commit 11d4341

Daniel Kroening

committed

use get_goto_model in CBMC

1 parent de501bd commit 11d4341Copy full SHA for 11d4341

7 files changed

+173

-248

lines changed

src
- cbmc
  - cbmc_parse_options.cpp
  - cbmc_parse_options.h
- goto-analyzer
  - goto_analyzer_parse_options.cpp
  - goto_analyzer_parse_options.h
- goto-programs
  - get_goto_model.cpp
- symex
  - symex_parse_options.cpp
  - symex_parse_options.h

7 files changed

+173

-248

lines changed

Comments

(0)