diff options
Diffstat (limited to 'test/testinterp/t070-branchifnot.ml')
| -rw-r--r-- | test/testinterp/t070-branchifnot.ml | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/test/testinterp/t070-branchifnot.ml b/test/testinterp/t070-branchifnot.ml deleted file mode 100644 index 9e6e4e8ba3..0000000000 --- a/test/testinterp/t070-branchifnot.ml +++ /dev/null @@ -1,18 +0,0 @@ -open Lib;; -if false then raise Not_found;; - -(** - 0 CONSTINT 42 - 2 PUSHACC0 - 3 MAKEBLOCK1 0 - 5 POP 1 - 7 SETGLOBAL Lib - 9 CONST0 - 10 BRANCHIFNOT 17 - 12 GETGLOBAL Not_found - 14 MAKEBLOCK1 0 - 16 RAISE - 17 ATOM0 - 18 SETGLOBAL T070-branchifnot - 20 STOP -**) |