Default package

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}

Classes