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

Clean up the test output by removing some meaningless output. 

Some debug output was left in and committed.  Remove the extra junk.

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/branches/TableTool_javization@10653 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
parent f4a4f427

Matlab2SMT/src/main/java/ca/mcmaster/cas/cvc3generator/HierarchicalGridCVC3Generator.java

+0 −2
Original line number Diff line number Diff line
@@ -49,8 +49,6 @@ final public class HierarchicalGridCVC3Generator implements HierarchcialGridChec 
    }



    private void outputCells() {

        System.out.println("OUTPUT " + m_currentCompleteQueries.size());



        // First is disjoint testing.

        m_output += "ECHO \"begin" + m_currentTCC + "\";\n";

        m_output += "PUSH;\n";

Matlab2SMT/src/main/java/ca/mcmaster/cas/matlab2smt/CVC3Generator.java

+0 −1
Original line number Diff line number Diff line
@@ -137,7 +137,6 @@ final public class CVC3Generator implements CheckerGenerator{ 
            //This gets the two's compliment representation.  Ugly for loop, but best I could find.

            String bits = "";

            for (int i = intOut.bitLength() - 1; i >= 0; --i) {

                System.out.println(intOut.testBit(i));

                bits += (intOut.testBit(i)) ? '1' : '0';

            }

Matlab2SMT/src/test/java/ca/mcmaster/cas/matlab2smt/test/MatlabParserTest.java

+0 −1
Original line number Diff line number Diff line
@@ -73,7 +73,6 @@ public class MatlabParserTest { 


    @Test

    public void testDoubleAdditionWithLiterals() {

        System.out.println("$");

        MatlabParser parser = new MatlabParser(null, "4+5+6\n");

        MatlabExpression expr = parser.getRootExpression();