Package de.uka.ilkd.key.nparser
|
99%
successful |
Failed tests
- TestTacletEquality. [270] bitwiseNegationInt, bitwiseNegationInt { \find(#normalassign ( (modal operator))\[{ .. #loc = ~#seCharByteShortInt; ... }\] (post)) \replacewith(update-application(elem-update(#loc (program Variable))(javaBitwiseNegateInt(#se)),#normalassign(post))) \heuristics(executeIntegerAssignment) Choices: programRules:Java}
- TestTacletEquality. [271] bitwiseNegationLong, bitwiseNegationLong { \find(#normalassign ( (modal operator))\[{ .. #loc = ~#se; ... }\] (post)) \replacewith(update-application(elem-update(#loc (program Variable))(javaBitwiseNegateLong(#seLong)),#normalassign(post))) \heuristics(executeIntegerAssignment) Choices: programRules:Java}
Classes
| Class | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| ExprTest | 23 | 0 | 0 | 4.524s | 100% |
| ParseLDTsTests | 2 | 0 | 0 | 1.675s | 100% |
| TestTacletEquality | 2032 | 2 | 0 | 2.608s | 99% |