diff options
| author | Damien George <damien.p.george@gmail.com> | 2014-09-29 16:41:37 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2014-09-29 19:42:06 +0100 |
| commit | 6f81348fa25216f03686b342765f337ab57e2e5f (patch) | |
| tree | f0fc55b32521dde22764875deffd9cd92db60636 /tests/micropython | |
| parent | a7329615eb5b55869ae8a460f9b9be5be04a5bee (diff) | |
py: Allow viper to use ints as direct conditionals in jumps.
Allows things like: if 1: ...
Diffstat (limited to 'tests/micropython')
| -rw-r--r-- | tests/micropython/viper_cond.py | 15 | ||||
| -rw-r--r-- | tests/micropython/viper_cond.py.exp | 2 |
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 |