TestProofBundleIO

all > de.uka.ilkd.key.proof.io.consistency > TestProofBundleIO
3

tests
0

failures
0

ignored
7.140s

duration
100%

successful

Tests

Test Duration Result
testComplexBundleGeneration() 1.226s passed
testSimpleBundleGeneration() 5.821s passed
testSimpleFileRepo() 0.093s passed

Standard output

413147     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/proofBundle/complexBundleGeneration/test.key took 0 ms to parse. 
413148     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1349 ms. 
413506     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/proofBundle/complexBundleGeneration/test.key took 0 ms to parse. 
413507     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1349 ms. 
414017     WARN  Test worker     d.u.i.k.n.ParsingFacade   /tmp/KeYunzip8281554098019828961/Test(Test__constant()).JML normal_behavior operation contract.0.proof took 0 ms to parse. 
414017     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1349 ms. 
414369     WARN  Test worker     d.u.i.k.n.ParsingFacade   /tmp/KeYunzip8281554098019828961/Test(Test__constant()).JML normal_behavior operation contract.0.proof took 0 ms to parse. 
414370     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1349 ms. 
414372     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/proofBundle/simpleBundleGeneration/test.key took 0 ms to parse. 
414372     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1349 ms. 
415359     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
415360     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1350 ms. 
417258     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/proofBundle/simpleBundleGeneration/test.key took 0 ms to parse. 
417259     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1350 ms. 
417365     WARN  Test worker     d.u.i.k.n.ParsingFacade   /tmp/KeYunzip7504201947644751719/Test(Test__constant()).JML normal_behavior operation contract.0.proof took 0 ms to parse. 
417366     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1350 ms. 
418335     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
418335     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1351 ms. 
420189     WARN  Test worker     d.u.i.k.n.ParsingFacade   /tmp/KeYunzip7504201947644751719/Test(Test__constant()).JML normal_behavior operation contract.0.proof took 0 ms to parse. 
420189     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1351 ms.