diff options
Diffstat (limited to 'test/testinterp/t110-lsrint.ml')
| -rw-r--r-- | test/testinterp/t110-lsrint.ml | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/test/testinterp/t110-lsrint.ml b/test/testinterp/t110-lsrint.ml deleted file mode 100644 index 9777815ccc..0000000000 --- a/test/testinterp/t110-lsrint.ml +++ /dev/null @@ -1,22 +0,0 @@ -open Lib;; -if (14 lsr 2) <> 3 then raise Not_found;; - -(** - 0 CONSTINT 42 - 2 PUSHACC0 - 3 MAKEBLOCK1 0 - 5 POP 1 - 7 SETGLOBAL Lib - 9 CONST3 - 10 PUSHCONST2 - 11 PUSHCONSTINT 14 - 13 LSRINT - 14 NEQ - 15 BRANCHIFNOT 22 - 17 GETGLOBAL Not_found - 19 MAKEBLOCK1 0 - 21 RAISE - 22 ATOM0 - 23 SETGLOBAL T110-lsrint - 25 STOP -**) |
