예제 #1
0
 def test_true_assertion(self, init):
     assertion = InferenceAssertion()
     assertion.assertion_value = True
     test_case = DiderotTestCase()
     test_case.assert_that(assertion)
예제 #2
0
 def test_false_assertion(self, init):
     test_case = DiderotTestCase()
     false_assertion = InferenceAssertion()
     false_assertion.not_inferred_facts = set([(URIRef(":a"), URIRef(":b"), URIRef(":c"))])
     self.assertRaises(AssertionError, test_case.assert_that, false_assertion)