TestTermBuilder

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

tests
0

failures
0

ignored
15.096s

duration
100%

successful

Tests

Test Duration Result
testDoubleLongPatterns() 2.562s passed
testFloatPatterns() 2.491s passed
testNumberIsNegativeInt() 2.479s passed
testNumberIsPositiveInt() 2.494s passed
testNumberIsVeryBigPositiveInteger() 2.580s passed
testNumberIsVerySmallNegativeInteger() 2.490s passed

Standard output

85955      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key took 0 ms to parse. 
85955      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
85955      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/boolean.key took 0 ms to parse. 
85955      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
85955      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ruleSetsDeclarations.key took 0 ms to parse. 
85955      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
85971      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerHeader.key took 0 ms to parse. 
85971      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
85971      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatHeader.key took 0 ms to parse. 
85971      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
85971      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/heap.key took 0 ms to parse. 
85971      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
85971      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/locSets.key took 0 ms to parse. 
85971      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
85971      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/permission.key took 0 ms to parse. 
85971      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
85971      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/reach.key took 0 ms to parse. 
85971      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
85971      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seq.key took 0 ms to parse. 
85971      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
85971      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/map.key took 0 ms to parse. 
85971      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
85971      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/freeADT.key took 0 ms to parse. 
85971      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
85971      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wellfound.key took 0 ms to parse. 
85971      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
85971      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/charListHeader.key took 0 ms to parse. 
85971      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
85986      WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\javainfo\testJavaInfo.key took 0 ms to parse. 
85986      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
86868      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
86868      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
88536      WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\javainfo\testJavaInfo.key took 0 ms to parse. 
88536      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
89349      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
89349      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
91039      WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\javainfo\testJavaInfo.key took 0 ms to parse. 
91039      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
91861      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
91861      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
93594      WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\javainfo\testJavaInfo.key took 0 ms to parse. 
93594      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
94401      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
94401      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
96093      WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\javainfo\testJavaInfo.key took 0 ms to parse. 
96093      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
96874      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
96874      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
98587      WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\javainfo\testJavaInfo.key took 0 ms to parse. 
98587      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms. 
99379      WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
99379      WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 352 ms.