Python check_valid Examples

Example #1

 def test_invalid_true(self):
     self.assertFalse(causality_analyzer.check_valid(z3.And(False)))

Example #2

 def test_valid_true(self):
     self.assertTrue(causality_analyzer.check_valid(z3.And(True)))

Example #3

 def test_valid_demorgan(self):
     a = z3.Bool('a')
     b = z3.Bool('b')
     self.assertTrue(
         causality_analyzer.check_valid(
             z3.And(a, b) == z3.Not(z3.Or(z3.Not(a), z3.Not(b)))))

Example #4

File: test_causality_analyzer.py Project: csvoss/syndra

 def test_invalid_true(self):
     self.assertFalse(causality_analyzer.check_valid(
         z3.And(False)
     ))

Example #5

File: test_causality_analyzer.py Project: csvoss/syndra

 def test_valid_true(self):
     self.assertTrue(causality_analyzer.check_valid(
         z3.And(True)
     ))

Example #6

File: test_causality_analyzer.py Project: csvoss/syndra

 def test_valid_demorgan(self):
     a = z3.Bool('a')
     b = z3.Bool('b')
     self.assertTrue(causality_analyzer.check_valid(
         z3.And(a, b) == z3.Not(z3.Or(z3.Not(a), z3.Not(b)))
     ))