diff options
Diffstat (limited to 'test/testinterp/t110-asrint-2.ml')
| -rw-r--r-- | test/testinterp/t110-asrint-2.ml | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/test/testinterp/t110-asrint-2.ml b/test/testinterp/t110-asrint-2.ml deleted file mode 100644 index 386fc64cf8..0000000000 --- a/test/testinterp/t110-asrint-2.ml +++ /dev/null @@ -1,22 +0,0 @@ -open Lib;; -if (3 asr 1) <> 1 then raise Not_found;; - -(** - 0 CONSTINT 42 - 2 PUSHACC0 - 3 MAKEBLOCK1 0 - 5 POP 1 - 7 SETGLOBAL Lib - 9 CONST1 - 10 PUSHCONST1 - 11 PUSHCONST3 - 12 ASRINT - 13 NEQ - 14 BRANCHIFNOT 21 - 16 GETGLOBAL Not_found - 18 MAKEBLOCK1 0 - 20 RAISE - 21 ATOM0 - 22 SETGLOBAL T110-asrint-2 - 24 STOP -**) |