Commit 608da5c4 authored by Matthew Dawson's avatar Matthew Dawson
Browse files

Ensure when writing to z3 is always in an appropriate character set. 

Similarly for the reading, make sure the write path always uses an appropriate
character set.  Use UTF-8, since it's always good.
parent 8a961adf

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

+2 −2
Original line number Diff line number Diff line
@@ -82,9 +82,9 @@ final public class CheckerRunner { 
        try {

            // Sigh ... Java has horrible naming conversions here ...

            z3Output = new BufferedReader(new InputStreamReader(p.getInputStream(), "ISO-8859-1"));

            z3Input = new OutputStreamWriter(p.getOutputStream());

            z3Input = new OutputStreamWriter(p.getOutputStream(), "UTF-8");

        } catch(UnsupportedEncodingException ex) {

            throw new RuntimeException("Failed to get ISO-8859-1 charset for talking to Z3!", ex);

            throw new RuntimeException("Failed to get charset for talking to Z3!", ex);

        }



        StringBuilder GetValueRequestBuilder = new StringBuilder();