TestTermBuilder

all > de.uka.ilkd.key.logic > TestTermBuilder
6

tests
0

failures
0

ignored
16.580s

duration
100%

successful

Tests

Test Duration Result
testDoubleLongPatterns() 2.676s passed
testFloatPatterns() 2.638s passed
testNumberIsNegativeInt() 2.723s passed
testNumberIsPositiveInt() 2.788s passed
testNumberIsVeryBigPositiveInteger() 3.050s passed
testNumberIsVerySmallNegativeInteger() 2.705s passed

Standard output

88849      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key took 0 ms to parse. 
88855      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 500 ms. 
88856      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/boolean.key took 0 ms to parse. 
88856      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 500 ms. 
88858      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ruleSetsDeclarations.key took 2 ms to parse. 
88858      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 502 ms. 
88859      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerHeader.key took 0 ms to parse. 
88859      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 502 ms. 
88860      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatHeader.key took 0 ms to parse. 
88860      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 502 ms. 
88860      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/heap.key took 0 ms to parse. 
88860      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 502 ms. 
88861      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/locSets.key took 0 ms to parse. 
88861      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 502 ms. 
88861      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/permission.key took 0 ms to parse. 
88861      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 502 ms. 
88861      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/reach.key took 0 ms to parse. 
88865      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 502 ms. 
88865      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seq.key took 0 ms to parse. 
88865      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 502 ms. 
88868      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/map.key took 3 ms to parse. 
88868      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 505 ms. 
88868      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/freeADT.key took 0 ms to parse. 
88868      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 505 ms. 
88868      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wellfound.key took 0 ms to parse. 
88868      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 505 ms. 
88869      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/charListHeader.key took 1 ms to parse. 
88869      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 506 ms. 
88886      WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/javainfo/testJavaInfo.key took 0 ms to parse. 
88886      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 506 ms. 
89969      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 2 ms to parse. 
89970      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 508 ms. 
91902      WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/javainfo/testJavaInfo.key took 0 ms to parse. 
91902      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 508 ms. 
92739      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 2 ms to parse. 
92740      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 510 ms. 
94606      WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/javainfo/testJavaInfo.key took 0 ms to parse. 
94607      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 510 ms. 
95450      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. 
95451      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 511 ms. 
97282      WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/javainfo/testJavaInfo.key took 0 ms to parse. 
97282      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 511 ms. 
98137      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 2 ms to parse. 
98137      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 513 ms. 
99920      WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/javainfo/testJavaInfo.key took 0 ms to parse. 
99920      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 513 ms. 
100817     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 2 ms to parse. 
100817     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 515 ms. 
102708     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/javainfo/testJavaInfo.key took 0 ms to parse. 
102709     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 515 ms. 
103570     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 2 ms to parse. 
103570     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 517 ms.