Commit 2e60cd23 authored by Mark Lawford's avatar Mark Lawford
Browse files

Changing code to support PVS 6.0 and up. 

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

@PVS_checker/parse_pvs_result.m

+1 −1
Original line number Diff line number Diff line
@@ -29,7 +29,7 @@ else 
                search_str = sprintf('(?<=Proving formula %s[\\n]*)%s.*?(?=[ \\n]*Rerunning step)',char(found(i)),char(found(i)));

            elseif strncmp(object.pvs_version,'PVS Version 4.2',15)

                search_str =  sprintf('(?<=Installing rewrite rule \\w+\\s\\s)%s.*?(?=[ \\n]*Rerunning step)',char(found(i)));

            elseif strncmp(object.pvs_version,'PVS Version 5.0',15)

            elseif strncmp(object.pvs_version,'PVS Version ',12) && str2num(object.pvs_version(13:15))>=5.0

                search_str =  sprintf('(?<=Installing rewrite rule.*\\s\\s)%s.*?(?=[ \\n]*Rerunning step)',char(found(i)));

            end

            found2 = regexp(result,char(search_str),'match','once');