Commit 2477e0e

committed

remove non SMT-LIB style file

git-svn-id: https://svn.sosy-lab.org/software/sv-benchmarks/trunk@203 770dfece-24ca-4306-9060-4abab334d2a5

1 parent a19a8eb commit 2477e0eCopy full SHA for 2477e0e

1 file changed

+0

-18

lines changed

clauses/LRA/armc
- swap.smt2

1 file changed

+0

-18

lines changed

`‎clauses/LRA/armc/swap.smt2`

-18

This file was deleted.

Comments

(0)