/** Cannot parse - type error. */
@Test
public void testYices_error2()
{
checkForCorrectException(new whatToRun() { public @Override void run() throws NumberFormatException {
Smt smt = new Smt();smt.loadData("(define x::bool)\n(assert (> x 1))");
}}, IllegalArgumentException.class,"argument is not a numeral");
}
/** Check if a field can be correctly extracted. */
@Test(expected=IllegalArgumentException.class)