summaryrefslogtreecommitdiff
path: root/tests/micropython
diff options
context:
space:
mode:
Diffstat (limited to 'tests/micropython')
-rw-r--r--tests/micropython/viper_cond.py15
-rw-r--r--tests/micropython/viper_cond.py.exp2
2 files changed, 17 insertions, 0 deletions
diff --git a/tests/micropython/viper_cond.py b/tests/micropython/viper_cond.py
new file mode 100644
index 000000000..258a37812
--- /dev/null
+++ b/tests/micropython/viper_cond.py
@@ -0,0 +1,15 @@
+# using a bool as a conditional
+@micropython.viper
+def f():
+ x = True
+ if x:
+ print("x", x)
+f()
+
+# using an int as a conditional
+@micropython.viper
+def g():
+ y = 1
+ if y:
+ print("y", y)
+g()
diff --git a/tests/micropython/viper_cond.py.exp b/tests/micropython/viper_cond.py.exp
new file mode 100644
index 000000000..244817f1f
--- /dev/null
+++ b/tests/micropython/viper_cond.py.exp
@@ -0,0 +1,2 @@
+x True
+y 1