Fix Let parsing
Add test case for issue #58.
Use new stp test infrastructure
Move to misc-tests.
Add test for issue #59
Fixed mistake in smt/smt2 query file tests where I did not specify
to match from the beginning of the line. Because of this is the
test result changed from sat to unsat the test would still pass
because the "sat" string still matches somewhere in the "unsat"
string.
Correct mistake in smt2/smt to lit test conversion scripts where
the '^' symbol was not included on CHECK-NEXT: lines to ensure
OutputCheck only matches from the beginning of the line.
Give a more descriptive name to the query-files test suite in lit.
Change regexp so that it does not match unsat
Change regexp so it does not match unsat
Enabled crypto-tests/tea_four_round_one_var_half_key.stp.cvc test.
It's too slow though to be used for Travis builds so I will disabling
shortly.
Disable query file test that is too slow. We should probably move this
to a benchmark repository.
Enable crypto-tests/tea_three_round_two_var.stp.cvc query file test.
Merge pull request #87 from edmcman/issue59

Add test for issue #59
Merge pull request #58 from edmcman/master

Smtlib2 parser does not parse Let terms in formulas correctly
Enable two more query file crypto-tests. CVC4 was used as an oracle for
these tests.
For query-file-tests use lit methods for writing messages about
configuration.
Enforce that the python version used when running OutputCheck is the
same that was detected as CMake configure time.
Eliminating unnecessary dependency on zlib

Fixes issue #16
INSTALL: make check instructions