Skip to content

Commit c0ed7a7

Browse files
committed
Removed shutdown call for EVMLiSAExecutor in EventExitpointComputer test
1 parent 5b5b47e commit c0ed7a7

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

src/test/java/it/unipr/analysis/cron/utils/EventExitpointComputer.java

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -46,8 +46,6 @@ public void test01() {
4646
assert event.getExitPoints().isEmpty();
4747
}
4848
}
49-
50-
EVMLiSAExecutor.shutdown();
5149
}
5250

5351
}

0 commit comments

Comments
 (0)