Commit ce17e33a authored by Colin Eles's avatar Colin Eles
Browse files

minor update 

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

@CVC_checker/cvc_check.m

+7 −1
Original line number Diff line number Diff line
@@ -30,7 +30,13 @@ for i = 1:size(queries,2) 
% 

%         end

    

        seqs = [seqs struct('id', '1234a', 'TCC', 'test', 'seq', queries(i), 'ce', {asserts})];

    if mod(i,2) == 1

        name = [filename '_' num2str(i) '_DIS'];

    else

        name = [filename '_' num2str(i) '_COM'];

    end    



        seqs = [seqs struct('id', '1234a', 'TCC', name, 'seq', queries(i), 'ce', {asserts})];

    end