Merge Condition info - Githubissues

jburnim / crest

CREST is a concolic test generation tool for C.

http://jburnim.github.io/crest/

BSD 2-Clause "Simplified" License

159 stars 50 forks source link

Closed Albli001348 closed 4 years ago

Albli001348 commented 4 years ago

Added code to generate branch information into cil/src/ext/crestInstrument.ml