TestIntLiteralParsing
|
100%
successful |
Tests
| Test | Method name | Duration | Result |
|---|---|---|---|
| '\r' | testCharLiteralParsing()[10] | 0.001s | passed |
| '\"' | testCharLiteralParsing()[11] | 0.001s | passed |
| '\'' | testCharLiteralParsing()[12] | 0.001s | passed |
| '\\' | testCharLiteralParsing()[13] | 0.001s | passed |
| '0' | testCharLiteralParsing()[14] | 0.001s | passed |
| '9' | testCharLiteralParsing()[15] | 0s | passed |
| '\u0000' | testCharLiteralParsing()[16] | 0.001s | passed |
| '\uffff' | testCharLiteralParsing()[17] | 0.001s | passed |
| '?' | testCharLiteralParsing()[18] | 0.001s | passed |
| 'Δ' | testCharLiteralParsing()[19] | 0.002s | passed |
| 'a' | testCharLiteralParsing()[1] | 0.001s | passed |
| '?' | testCharLiteralParsing()[20] | 0.001s | passed |
| 'z' | testCharLiteralParsing()[2] | 0.001s | passed |
| 'A' | testCharLiteralParsing()[3] | 0.001s | passed |
| 'Z' | testCharLiteralParsing()[4] | 0s | passed |
| ' ' | testCharLiteralParsing()[5] | 0.001s | passed |
| '\b' | testCharLiteralParsing()[6] | 0.001s | passed |
| '\t' | testCharLiteralParsing()[7] | 0s | passed |
| '\n' | testCharLiteralParsing()[8] | 0.001s | passed |
| '\f' | testCharLiteralParsing()[9] | 0.001s | passed |
| 017777777777 | testIntLiteralParsing()[10] | 0s | passed |
| 020000000000 | testIntLiteralParsing()[11] | 0s | passed |
| 01671003245 | testIntLiteralParsing()[12] | 0.001s | passed |
| 0b0 | testIntLiteralParsing()[13] | 0.001s | passed |
| 0b01111111111111111111111111111111 | testIntLiteralParsing()[14] | 0s | passed |
| 0b1000_0000_0000_0000_0000_0000_0000_0000 | testIntLiteralParsing()[15] | 0.001s | passed |
| 0b0100100100011101 | testIntLiteralParsing()[16] | 0.001s | passed |
| 0xffff_ffff | testIntLiteralParsing()[1] | 0.001s | passed |
| 0x000 | testIntLiteralParsing()[2] | 0.001s | passed |
| 0x8000_0000 | testIntLiteralParsing()[3] | 0.001s | passed |
| 0x7fffffff | testIntLiteralParsing()[4] | 0s | passed |
| 2147483647 | testIntLiteralParsing()[5] | 0s | passed |
| -2147483648 | testIntLiteralParsing()[6] | 0.001s | passed |
| 0 | testIntLiteralParsing()[7] | 0.001s | passed |
| -0 | testIntLiteralParsing()[8] | 0.001s | passed |
| 00 | testIntLiteralParsing()[9] | 0.001s | passed |
| -2147483649 | testIntRange()[1] | 0.001s | passed |
| 2147483648 | testIntRange()[2] | 0.001s | passed |
| 0x1_0000_0000 | testIntRange()[3] | 0.001s | passed |
| 0b1_0000_0000_0000_0000_0000_0000_0000_0000 | testIntRange()[4] | 0.001s | passed |
| 0400_0000_0000 | testIntRange()[5] | 0s | passed |
| 020000000000l | testLongLiteralParsing()[10] | 0s | passed |
| 01671003245L | testLongLiteralParsing()[11] | 0.001s | passed |
| 0b0L | testLongLiteralParsing()[12] | 0.001s | passed |
| 0b01111111111111111111111111111111L | testLongLiteralParsing()[13] | 0.001s | passed |
| 0b1000_0000_0000_0000_0000_0000_0000_0000l | testLongLiteralParsing()[14] | 0.001s | passed |
| 0b0100100100011101L | testLongLiteralParsing()[15] | 0.001s | passed |
| 0xffff_ffff_ffff_ffffL | testLongLiteralParsing()[16] | 0s | passed |
| 9223372036854775807L | testLongLiteralParsing()[17] | 0s | passed |
| -9223372036854775808L | testLongLiteralParsing()[18] | 0.002s | passed |
| 0b1111111111_1111111111_1111111111_1111111111_1111111111_1111111111_1111L | testLongLiteralParsing()[19] | 0.001s | passed |
| 0x000l | testLongLiteralParsing()[1] | 0.005s | passed |
| 0b1000000000_0000000000_0000000000_0000000000_0000000000_0000000000_0000L | testLongLiteralParsing()[20] | 0.001s | passed |
| 0b0111111111_1111111111_1111111111_1111111111_1111111111_1111111111_1111L | testLongLiteralParsing()[21] | 0.001s | passed |
| 0x8000_0000l | testLongLiteralParsing()[2] | 0.001s | passed |
| 0x7fffffffL | testLongLiteralParsing()[3] | 0.001s | passed |
| 2147483647L | testLongLiteralParsing()[4] | 0.001s | passed |
| -2147483648l | testLongLiteralParsing()[5] | 0.002s | passed |
| 0l | testLongLiteralParsing()[6] | 0.001s | passed |
| -0L | testLongLiteralParsing()[7] | 0.001s | passed |
| 00L | testLongLiteralParsing()[8] | 0.001s | passed |
| 017777777777l | testLongLiteralParsing()[9] | 0s | passed |
| -9_223_372_036_854_775_809L | testLongRange()[1] | 0.002s | passed |
| 9223372036854775808L | testLongRange()[2] | 0.001s | passed |
| 0x1_0000_0000_0000_0000L | testLongRange()[3] | 0.001s | passed |
| 0b10000_0000000000_0000000000_0000000000_0000000000_0000000000_0000000000L | testLongRange()[4] | 0.001s | passed |
| 020_0000_0000_0000_0000_0000L | testLongRange()[5] | 0.001s | passed |
Standard output
300108 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key 300108 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key 301150 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 301150 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 301165 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key 301165 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 301165 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 303418 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 304451 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 304451 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 304467 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key 304467 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 304467 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 306689 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 307853 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 307853 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 307869 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key 307869 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 307869 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 309920 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 310883 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 310883 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 310898 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key 310898 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 310898 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 312961 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 314003 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 314003 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 314003 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key 314003 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 314003 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 316053 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 317064 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 317064 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 317064 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key 317079 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 317079 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 319143 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 320215 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 320215 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 320231 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key 320231 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 320231 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 322215 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 323222 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 323222 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 323222 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key 323222 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 323222 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 325279 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 326318 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 326318 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 326334 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key 326334 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 326334 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 328377 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key 329428 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserHeap\A.java 329428 DEBUG Test worker d.u.i.k.j.Recoder2KeY converting now D:\a\key\key\key.core\src\test\resources\testcase\termParser\testTermParserSorts\IntegerMethods.java 329444 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file src\test\resources\testcase\termParser\parserTest.key 329444 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 329444 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 331596 DEBUG Test worker d.u.i.k.p.i.KeYFile Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\termParser\parserTest.key