def test_builder_8(self):
c = Forbid(self.prop2) & Forbid(self.prop1)
self.assertEqual('[[-2], [-1]]', str(c.cnf()))
self.assertDictEqual({
1: url_by_name('BAR'),
2: url_by_name('FOO')
}, c.props)
def test_builder_22(self):
c = Forbid(self.prop3) & Require(self.prop2)
self.assertEqual('[[-1], [2]]', str(c.cnf()))
self.assertDictEqual({
1: url_by_name('BAZ'),
2: url_by_name('BAR')
}, c.props)
def test_builder_6(self):
c = Forbid(self.prop2)
self.assertEqual('[[-1]]', str(c.cnf()))
self.assertDictEqual({1: url_by_name('BAR')}, c.props)