Commit d5bbdd7f authored by Matthew Dawson's avatar Matthew Dawson
Browse files

Make sure that getNextChar in Z3 actually reads a character. 

When reading from Z3's output, make sure that the reader actually does a read.
Otherwise we may get back a useless character which will break things.
parent 8d7fbcb7

src/main/java/ca/mcscert/jtet/smtlibchecker/CheckerRunner.java

+3 −1
Original line number Diff line number Diff line
@@ -235,7 +235,9 @@ final public class CheckerRunner { 


    private static char getNextChar(Reader reader) throws IOException {

        char[] c = new char[1];

        reader.read(c);

        if(reader.read(c) != 1) {

            throw new IOException("Failed to read in expected character from Z3!");

        }

        return c[0];

    }