summaryrefslogtreecommitdiff
path: root/tests/micropython/viper_binop_arith.py
diff options
context:
space:
mode:
Diffstat (limited to 'tests/micropython/viper_binop_arith.py')
-rw-r--r--tests/micropython/viper_binop_arith.py11
1 files changed, 11 insertions, 0 deletions
diff --git a/tests/micropython/viper_binop_arith.py b/tests/micropython/viper_binop_arith.py
index d37450315..4d711f1a9 100644
--- a/tests/micropython/viper_binop_arith.py
+++ b/tests/micropython/viper_binop_arith.py
@@ -19,6 +19,17 @@ sub(-1, 2)
sub(-42, -3)
@micropython.viper
+def mul(x:int, y:int):
+ print(x * y)
+ print(y * x)
+mul(0, 1)
+mul(1, -1)
+mul(1, 2)
+mul(8, 3)
+mul(-3, 4)
+mul(-9, -6)
+
+@micropython.viper
def shl(x:int, y:int):
print(x << y)
shl(1, 0)