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