unittest.TestCase Class Reference

Public Member Functions
None	setUp (self)
None	tearDown (self)
None	assertEqual (self, Any first, Any second, Any msg=None)
None	assertNotEqual (self, Any first, Any second, Any msg=None)
None	assertTrue (self, Any expr, Any msg=None)
None	assertFalse (self, Any expr, Any msg=None)
None	assertIs (self, Any first, Any second, Any msg=None)
None	assertIsNot (self, Any first, Any second, Any msg=None)
None	assertIsNone (self, Any obj, Any msg=None)
None	assertIsNotNone (self, Any obj, Any msg=None)
None	assertIn (self, Any member, Any container, Any msg=None)
None	assertNotIn (self, Any member, Any container, Any msg=None)
None	assertLess (self, Any a, Any b, Any msg=None)
None	assertLessEqual (self, Any a, Any b, Any msg=None)
None	assertGreater (self, Any a, Any b, Any msg=None)
None	assertGreaterEqual (self, Any a, Any b, Any msg=None)
None	fail (self, Any msg=None)

Detailed Description

unittest.TestCase -- assertions lowered to ESBMC claims.

Member Function Documentation

assertEqual()

None unittest.TestCase.assertEqual	(		self,
		Any	first,
		Any	second,
		Any	msg = None )

assertFalse()

None unittest.TestCase.assertFalse	(		self,
		Any	expr,
		Any	msg = None )

assertGreater()

None unittest.TestCase.assertGreater	(		self,
		Any	a,
		Any	b,
		Any	msg = None )

assertGreaterEqual()

None unittest.TestCase.assertGreaterEqual	(		self,
		Any	a,
		Any	b,
		Any	msg = None )

assertIn()

None unittest.TestCase.assertIn	(		self,
		Any	member,
		Any	container,
		Any	msg = None )

assertIs()

None unittest.TestCase.assertIs	(		self,
		Any	first,
		Any	second,
		Any	msg = None )

assertIsNone()

None unittest.TestCase.assertIsNone	(		self,
		Any	obj,
		Any	msg = None )

assertIsNot()

None unittest.TestCase.assertIsNot	(		self,
		Any	first,
		Any	second,
		Any	msg = None )

assertIsNotNone()

None unittest.TestCase.assertIsNotNone	(		self,
		Any	obj,
		Any	msg = None )

assertLess()

None unittest.TestCase.assertLess	(		self,
		Any	a,
		Any	b,
		Any	msg = None )

assertLessEqual()

None unittest.TestCase.assertLessEqual	(		self,
		Any	a,
		Any	b,
		Any	msg = None )

assertNotEqual()

None unittest.TestCase.assertNotEqual	(		self,
		Any	first,
		Any	second,
		Any	msg = None )

assertNotIn()

None unittest.TestCase.assertNotIn	(		self,
		Any	member,
		Any	container,
		Any	msg = None )

assertTrue()

None unittest.TestCase.assertTrue	(		self,
		Any	expr,
		Any	msg = None )

fail()

None unittest.TestCase.fail	(		self,
		Any	msg = None )

setUp()

None unittest.TestCase.setUp

(

self

)

tearDown()

None unittest.TestCase.tearDown

(

self

)

---

The documentation for this class was generated from the following file:

• src/python-frontend/models/unittest.py