From 2e60cd231db1576ef400a8bf6e51951825bf12a4 Mon Sep 17 00:00:00 2001 From: Mark Lawford Date: Thu, 21 Mar 2013 17:33:31 +0000 Subject: [PATCH] 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 --- @PVS_checker/parse_pvs_result.m | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/@PVS_checker/parse_pvs_result.m b/@PVS_checker/parse_pvs_result.m index 3f552b4..817adb7 100644 --- a/@PVS_checker/parse_pvs_result.m +++ b/@PVS_checker/parse_pvs_result.m @@ -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'); -- GitLab