Files
2019-08-04 21:38:19 -05:00

13 lines
160 B
Python

from rename_scope import *
a = Natural_UP()
b = Natural_BP()
if a.rtest() != 1:
raise RuntimeError
if b.rtest() != 1:
raise RuntimeError
f = equals