[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Replace tests/example.smt2 with tests/test-theory.smt2



Replaced.