Loading sdg-core/src/test/res/regression/coverage/2021/03/12/CatchUnionType.java 0 → 100644 +12 −0 Original line number Diff line number Diff line class Test { public static void main(String[] args) { try { if (true) throw new RuntimeException(); throw new InterruptedException(); } catch (RuntimeException | InterruptedException e) { System.out.println("ok"); } } } sdg-core/src/test/res/regression/coverage/2021/03/12/CatchUnionType.java.sdg.criterion 0 → 100644 +1 −0 Original line number Diff line number Diff line 9 sdg-core/src/test/res/regression/coverage/2021/03/12/CatchUnionType.java.sdg.sliced 0 → 100644 +12 −0 Original line number Diff line number Diff line class Test { public static void main(String[] args) { try { if (true) throw new RuntimeException(); throw new InterruptedException(); } catch (RuntimeException | InterruptedException e) { System.out.println("ok"); } } } sdg-core/src/test/res/regression/coverage/2021/03/12/DiverseCallScopesWithDefinition.java 0 → 100644 +25 −0 Original line number Diff line number Diff line class Test { int a = 10; void f() { a += 20; } public static void main(String[] args) { Test t = new Test(); Test[] array = new Test[] { t }; TestContainer tc = new TestContainer(); (t).f(); array[0].f(); (true ? t : array[0]).f(); tc.test.f(); System.out.println(t.a + array[0].a + tc.test.a); } } class TestContainer { Test test = new Test(); } sdg-core/src/test/res/regression/coverage/2021/03/12/DiverseCallScopesWithDefinition.java.sdg.criterion 0 → 100644 +1 −0 Original line number Diff line number Diff line 17 Loading
sdg-core/src/test/res/regression/coverage/2021/03/12/CatchUnionType.java 0 → 100644 +12 −0 Original line number Diff line number Diff line class Test { public static void main(String[] args) { try { if (true) throw new RuntimeException(); throw new InterruptedException(); } catch (RuntimeException | InterruptedException e) { System.out.println("ok"); } } }
sdg-core/src/test/res/regression/coverage/2021/03/12/CatchUnionType.java.sdg.criterion 0 → 100644 +1 −0 Original line number Diff line number Diff line 9
sdg-core/src/test/res/regression/coverage/2021/03/12/CatchUnionType.java.sdg.sliced 0 → 100644 +12 −0 Original line number Diff line number Diff line class Test { public static void main(String[] args) { try { if (true) throw new RuntimeException(); throw new InterruptedException(); } catch (RuntimeException | InterruptedException e) { System.out.println("ok"); } } }
sdg-core/src/test/res/regression/coverage/2021/03/12/DiverseCallScopesWithDefinition.java 0 → 100644 +25 −0 Original line number Diff line number Diff line class Test { int a = 10; void f() { a += 20; } public static void main(String[] args) { Test t = new Test(); Test[] array = new Test[] { t }; TestContainer tc = new TestContainer(); (t).f(); array[0].f(); (true ? t : array[0]).f(); tc.test.f(); System.out.println(t.a + array[0].a + tc.test.a); } } class TestContainer { Test test = new Test(); }
sdg-core/src/test/res/regression/coverage/2021/03/12/DiverseCallScopesWithDefinition.java.sdg.criterion 0 → 100644 +1 −0 Original line number Diff line number Diff line 17