unittest_mixin.py File Reference

Classes
class	preprocessor.unittest_mixin.UnittestMixin

Namespaces
namespace	preprocessor
namespace	preprocessor.unittest_mixin

Functions
	preprocessor.unittest_mixin._compare (op)
	preprocessor.unittest_mixin._compare_none (op)
	preprocessor.unittest_mixin._isinstance (obj, cls)
	preprocessor.unittest_mixin._typed_equal (type_name)
	preprocessor.unittest_mixin._not (expr)
	preprocessor.unittest_mixin._is_names (expr)
	preprocessor.unittest_mixin._bind_arguments (call, params)

Variables
str	preprocessor.unittest_mixin._CASE_VAR_PREFIX = "__ESBMC_unittest_case_"
str	preprocessor.unittest_mixin._ARG_VAR_PREFIX = "__ESBMC_unittest_arg_"
tuple	preprocessor.unittest_mixin._SCOPES = (ast.FunctionDef, ast.AsyncFunctionDef, ast.ClassDef)
dict	preprocessor.unittest_mixin._ASSERTIONS