Examples/test-suite/python/rename_scope_runme.py

   1 from rename_scope import *
   2
   3 a = Natural_UP()
   4 b = Natural_BP()
   5
   6 if a.rtest() != 1:
   7     raise RuntimeError
   8
   9 if b.rtest() != 1:
  10     raise RuntimeError
  11
  12 f = equals