def test_is_circular_true():
f = form.GRSpec()
f.sys_vars['y'] = 'bool'
f.env_prog = ['y']
f.sys_prog = ['y']
triv = omega_int.is_circular(f)
assert triv, triv
def test_is_circular_cudd():
f = form.GRSpec()
f.sys_vars['y'] = 'bool'
f.env_prog = ['y']
f.sys_prog = ['y']
triv = omega_int.is_circular(f)
assert triv, triv
def test_is_circular_false():
f = form.GRSpec()
f.env_vars['x'] = 'bool'
f.env_prog = ['x']
f.sys_prog = ['x']
triv = omega_int.is_circular(f)
assert not triv, triv