Commit 2d32176d authored by Colin Eles's avatar Colin Eles
Browse files

gives proper error message if CVC not found, or other commandline errors 

git-svn-id: https://groke.mcmaster.ca/svn/grad/colin/trunk/TableTool@6523 57e6efec-57d4-0310-aeb1-a6c144bb1a8b
parent ce17e33a

@CVC_checker/cvc_check.m

+13 −0
Original line number Diff line number Diff line
@@ -9,6 +9,19 @@ function [ check, seqs ] = cvc_check( object ) 


[status, result] = system(['cvc3 ' filename])



if (status ~= 0)

    

    if (status == 127)

        msgbox('CVC3 command not found')

    else

        msgbox(['an error has occured!' char(10) result]);

    end

        check = 0;

        seqs = 'canceled';

        delete(box);

        return;

end



    waitbar(.70,box,'Parsing Results');



seqs = [];

@CVC_checker/generate_file.m

+1 −0
Original line number Diff line number Diff line
@@ -15,6 +15,7 @@ end 




% call the recursive function to generate the queries

new_code = ''



%generate grid 2

if size(object.data.Grid2.cells,2) > 1