Commit 53fa9183 authored by Colin Eles's avatar Colin Eles
Browse files

latest update 

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

@PVS_checker/generate_pvs_multi_output.m

+1 −1
Original line number Diff line number Diff line
@@ -37,7 +37,7 @@ for i=1:size(g1.cells,2) 
    resultcell = object.data.Grid0.search_return(g1.cells(i),g2_cell);

    if(~isempty(resultcell))

        %if (i == 1)

        code = [code sprintf('%s',strtrim(char(resultcell.result_text)))];

        code = [code sprintf('%s',object.matlab_to_pvs_syntax_translation(strtrim(char(resultcell.result_text))))];

        %else

        %    code2 = [code2 sprintf(',%s',strtrim(char(resultcell.result_text)))];

        %end

@PVS_checker/matlab_to_pvs_syntax_translation.m

+1 −0
Original line number Diff line number Diff line
@@ -18,6 +18,7 @@ pvs_string = regexprep(pvs_string,'~=',' /= '); 
pvs_string = regexprep(pvs_string,'==',' = ');

pvs_string = regexprep(pvs_string,'\|\|',' OR ');

pvs_string = regexprep(pvs_string,'ceil','ceiling');

pvs_string = regexprep(pvs_string,'NaN','invalid');

end