diff options
Diffstat (limited to 'Examples/test-suite/python/rename_scope_runme.py')
| -rw-r--r-- | Examples/test-suite/python/rename_scope_runme.py | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/Examples/test-suite/python/rename_scope_runme.py b/Examples/test-suite/python/rename_scope_runme.py new file mode 100644 index 0000000..faea6a8 --- /dev/null +++ b/Examples/test-suite/python/rename_scope_runme.py @@ -0,0 +1,12 @@ +from rename_scope import * + +a = Natural_UP() +b = Natural_BP() + +if a.rtest() != 1: + raise RuntimeError + +if b.rtest() != 1: + raise RuntimeError + +f = equals |