def tearDown(self):
import esbmc
esbmc.kill_esbmc_process()
self.ns, self.opts, self.funcs = None, None, None
self.main = None
self.eq = None
self.art = None
def tearDown(self):
import esbmc
esbmc.kill_esbmc_process()
self.ns, self.opts, self.funcs = None, None, None
self.main = None
self.eq = None
self.art = None
def test_args(self):
import esbmc
# Had a problem in the past with the arg list being reversed...
ns, opts, po = esbmc.init_esbmc_process([
'./test_data/00_big_endian_01/main.c', '--timeout', '1m',
'--memlimit', '1g'
])
esbmc.kill_esbmc_process()
def test_setup(self):
import esbmc
# Assumes cwd = python test dir
ns, opts, po = esbmc.init_esbmc_process(
['./test_data/00_big_endian_01/main.c'])
esbmc.kill_esbmc_process()