Test Summary
|
36%
successful |
Failed tests
- KeyJavaPipelineTest. D:\a\key\key\key.java\pipelineTests\simple\expected\10_LocalClassTransformation\Test.java
- KeyJavaPipelineTest. D:\a\key\key\key.java\pipelineTests\simple\expected\11_ConstantStringExpressionEvaluator\Test.java
- KeyJavaPipelineTest. D:\a\key\key\key.java\pipelineTests\simple\expected\06_ClassInitializeMethodBuilder\Test.java
- KeyJavaPipelineTest. D:\a\key\key\key.java\pipelineTests\simple\expected\07_PrepareObjectBuilder\Test.java
- KeyJavaPipelineTest. D:\a\key\key\key.java\pipelineTests\simple\expected\08_CreateBuilder\Test.java
- KeyJavaPipelineTest. D:\a\key\key\key.java\pipelineTests\simple\expected\09_CreateObjectBuilder\Test.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\ArrayStoreException.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\AssertionError.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\Character.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\ClassCastException.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\CloneNotSupportedException.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\Comparable.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\Double.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\io\FilterOutputStream.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\Enum.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\Error.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\Exception.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\ExceptionInInitializerError.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\Float.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\IllegalArgumentException.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\IndexOutOfBoundsException.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\Integer.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\InterruptedException.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\Iterable.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\LinkageError.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\Long.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\Math.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\NegativeArraySizeException.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\NoClassDefFoundError.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\NullPointerException.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\Number.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\NumberFormatException.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\Object.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\OutOfMemoryError.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\io\IOException.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\RuntimeException.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\String.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\StringBuffer.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\System.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\Throwable.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\VirtualMachineError.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\math\BigInteger.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\util\ArrayList.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\util\Arrays.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\util\Collection.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\util\Iterator.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\util\LinkedHashMap.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\util\LinkedList.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\util\List.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\util\ListIterator.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\util\ListIteratorImpl.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\util\Map.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\io\PrintStream.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\util\Set.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\annotation\Annotation.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\ArithmeticException.java
- ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\ArrayIndexOutOfBoundsException.java
- TranslationTest. [1] s + s
- TranslationTest. [26] new Object().toString()
- TranslationTest. [2] s.hashCode()
- TranslationTest. [3] new int[]{1,2,3}
- TranslationTest. [4] new Object[]{null,null,null}
Packages
| Package | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| default-package | 98 | 62 | 0 | 2.700s | 36% |
Classes
| Class | Tests | Failures | Ignored | Duration | Success rate |
|---|---|---|---|---|---|
| KeyJavaPipelineTest | 11 | 6 | 0 | 0.542s | 45% |
| ReduxTest | 61 | 51 | 0 | 1.965s | 16% |
| TranslationTest | 26 | 5 | 0 | 0.193s | 80% |