Commit 1aede78

romainbrenguier

committed

Preprocessing of goto programs for string refinement

1 parent fee04d6 commit 1aede78Copy full SHA for 1aede78

3 files changed

+1517

-0

lines changed

src
- goto-programs
  - string_refine_preprocess.cpp
  - string_refine_preprocess.h
- util
  - std_expr.h

3 files changed

+1517

-0

lines changed

Comments

(0)