PageRenderTime 41ms CodeModel.GetById 21ms RepoModel.GetById 0ms app.codeStats 0ms

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

#
Python | 12 lines | 8 code | 4 blank | 0 comment | 2 complexity | fa63e7eab602419eeaa618d1dff06e59 MD5 | raw file
Possible License(s): LGPL-2.1, Cube, GPL-3.0, 0BSD, GPL-2.0
  1. from rename_scope import *
  2. a = Natural_UP()
  3. b = Natural_BP()
  4. if a.rtest() != 1:
  5. raise RuntimeError
  6. if b.rtest() != 1:
  7. raise RuntimeError
  8. f = equals