adbrucker
/
lh-l4v
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

regression: give SimplExportAndRefine more time 

Changes to the C boot code mean that the Simpl to GraphLang refinement
proof for `init_freemem` takes significantly more time.
This commit is contained in:
Matthew Brecknell 2019-06-24 13:26:12 +10:00
parent 77a3a0746f
commit e335282689
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
proof/tests.xml
View File

@ -62,7 +62,7 @@
<!-- Binary Verification -->
<sequence depends="CSpec">
<test name="SimplExportAndRefine" cpu-timeout="28800">make SimplExportAndRefine</test>
<test name="SimplExportAndRefine" cpu-timeout="43200">make SimplExportAndRefine</test>
</sequence>
<!-- Separation Logic. -->