Python check_validの例

コード例 #1

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

コード例 #2

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

コード例 #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)))))

コード例 #4

ファイル: test_causality_analyzer.py プロジェクト: csvoss/syndra

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

コード例 #5

ファイル: test_causality_analyzer.py プロジェクト: csvoss/syndra

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

コード例 #6

ファイル: test_causality_analyzer.py プロジェクト: 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)))
     ))