def test_violate_exp2(self): self.assertEqual( \ models(self.model, self.exp2, self.D, "test_exp5.pml"), \ False)
def test_exp3(self): self.assertEqual( \ models(self.model, self.exp3, self.N, "test_exp3.pml"), \ True)