SRI-CSL/llvm2smt

Use the correct suffix in our examples.

Closed this issue 9 years ago · 1 comments

ianamason commented 9 years ago

foo.smt2 not foo.smt

ianamason commented 9 years ago

actually both should work. See: https://github.com/SRI-CSL/SMT.tmbundle.git