diff options
Diffstat (limited to 'test/088-monitor-verification/src/Main.java')
| -rw-r--r-- | test/088-monitor-verification/src/Main.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/088-monitor-verification/src/Main.java b/test/088-monitor-verification/src/Main.java index 3f7bb56e8f..3016187efa 100644 --- a/test/088-monitor-verification/src/Main.java +++ b/test/088-monitor-verification/src/Main.java @@ -40,6 +40,8 @@ public class Main { ensureJitCompiled(Main.class, "notExcessiveNesting"); ensureJitCompiled(Main.class, "notNested"); ensureJitCompiled(TwoPath.class, "twoPath"); + ensureJitCompiled(Class.forName("OK"), "runNoMonitors"); + ensureJitCompiled(Class.forName("OK"), "runStraightLine"); ensureJitCompiled(Class.forName("OK"), "runBalancedJoin"); Main m = new Main(); |