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.
seL4 · Jun 25, 2019 · e335282 · e335282
1 parent 77a3a07
commit e335282
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/proof/tests.xml b/proof/tests.xml
@@ -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. -->