/trunk/Examples/test-suite/python/rename_scope_runme.py

# · Python · 12 lines · 8 code · 4 blank · 0 comment · 2 complexity · fa63e7eab602419eeaa618d1dff06e59 MD5 · raw file 

    

  1. from rename_scope import *
    2. 

  2. 

  3. a = Natural_UP()
    4. 

  4. b = Natural_BP()
    5. 

  5. 

  6. if a.rtest() != 1:
    7. 

  7.     raise RuntimeError
    8. 

  8. 

  9. if b.rtest() != 1:
    10. 

  10.     raise RuntimeError
    11. 

  11. 

  12. f = equals
    13.