diff options
Diffstat (limited to 'test/test.ccl')
-rw-r--r-- | test/test.ccl | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/test/test.ccl b/test/test.ccl index f0f2944..641203a 100644 --- a/test/test.ccl +++ b/test/test.ccl @@ -20,3 +20,18 @@ TEST checkpoint2 { NPROCS 1 } + +TEST recoverML +{ + NPROCS 1 +} + +TEST checkpointML +{ + NPROCS 1 +} + +TEST misner1.2-025 +{ + NPROCS 1 +} |