Default package

Failed tests

• KeyJavaPipelineTest. initializationError
• 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\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\Runnable.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\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\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\ArithmeticException.java
• ReduxTest. ..\key.core\src\main\resources\de\uka\ilkd\key\java\JavaRedux\java\lang\ArrayIndexOutOfBoundsException.java
• TranslationTest. [26] new Object().toString()
• TranslationTest. [3] new int[]{1,2,3}
• TranslationTest. [4] new Object[]{null,null,null}

Classes