Commit 38af793b authored by Matthew Dawson's avatar Matthew Dawson
Browse files

Fix CVC3 generator errors on TET launch. 

Fix up obvious errors on TET launch from CVC3 generator work.  TET itself
remains broken.
parent 59ea2617

@CVC_checker/CVC_checker.m

+1 −2
Original line number Diff line number Diff line
@@ -6,8 +6,7 @@ classdef CVC_checker 
        

        command = 'cvc3';

        data = [];

        generator = ca.mcscert.jtet.expression.CVC3Generator();

        boolean_type = ca.mcscert.jtet.expression.BooleanVariableType();

        generator = ca.mcscert.jtet.cvc3generator.CVC3VariablesDeclarationGenerator();

        

    end