def main():
with ETBNetwork('single node ETB', {
'port': 26532,
'wrappers': ['test_wrappers']
}) as etb:
ClaimTest(etb).run()
with ETBNetwork('two nodes ETB', {'port': 26532}, {
'port': 26533,
'wrappers': ['test_wrappers']
}) as etb:
ClaimTest(etb).run()
def main():
with ETBNetwork('single node ETB', {
'port': 26532,
'wrappers': ['builtins']
}) as etb:
BuiltinsTest(etb).run()
with ETBNetwork('two nodes ETB', {'port': 26532}, {
'port': 26533,
'wrappers': ['builtins']
}) as etb:
BuiltinsTest(etb).run()
def main():
with ETBNetwork('single node ETB', {
'port': 26532,
'wrappers': ['utils', 'yices_batch']
}) as etb:
RemoteTest(etb).run()
with ETBNetwork('two nodes ETB', {
'port': 26532,
'wrappers': ['yices_batch']
}, {
'port': 26533,
'wrappers': ['utils']
}) as etb:
RemoteTest(etb).run()
def setup_make():
etb = ETBNetwork('ETB node for make demo',
{ 'port': 26532,
'wrappers': [os.path.abspath('../demos/make/wrapper/gcc_wrapper')],
'rules': [os.path.abspath('../demos/make/make_rules')]})
etb.setupOnly()
etb.__enter__()
def main():
with ETBNetwork(
'ETB node for make demo', {
'port': 26532,
'wrappers':
[os.path.abspath('../demos/make/new_wrapper/gcc_wrapper')],
'rules': [os.path.abspath('../demos/make/make_rules')]
}) as etb:
try:
MakeTest(etb).run()
except Exception:
etb.dump()
raise
with ETBNetwork(
'ETB node for allsat2 demo',
{
'port':
26532,
'wrappers':
[os.path.abspath('../demos/allsat2/new_wrappers/yices_wrapper')],
'rules': [os.path.abspath('../demos/allsat2/allsat_rules')]
}) as etb:
AllSATTest(etb).run()
with ETBNetwork(
'ETB node for allsatlive demo',
{
'port':
26532,
'wrappers': [
os.path.abspath('../demos/allsatlive/new_wrappers/yices_api'),
os.path.abspath(
'../demos/allsatlive/new_wrappers/list_wrapper')
],
'rules': [os.path.abspath('../demos/allsatlive/allsat_rules')]
}) as etb:
AllSATLive(etb).run()
def setup_link_test():
etb = ETBNetwork('Two ETB networks - one with three nodes, one with two nodes',
{ 'directory': 'link_test/net1-1', 'port': 43765, 'wrappers': ['utils'] },
{ 'directory': 'link_test/net1-2', 'port': 43766, 'wrappers': ['sal_batch'] },
{ 'directory': 'link_test/net1-3', 'port': 43767, 'wrappers': ['salsim'] },
{ 'directory': 'link_test/net2-1', 'port': 43768, 'wrappers': ['utils'] },
{ 'directory': 'link_test/net2-2', 'port': 43769, 'wrappers': ['yices_batch'] })
etb.setupOnly()
etb.__enter__()
def main():
if True:
with ETBNetwork('single node ETB',
{ 'port': 26532, 'wrappers': ['utils']}) as etb:
UtilsTest(etb).run()
def main():
with ETBNetwork('single node ETB', {
'port': 26532,
'wrappers': ['salsim']
}) as etb:
HandleTest(etb).run()
def main():
with ETBNetwork('two nodes ETB',
{ 'port': 26532, 'wrappers': ['ping_wrapper'] },
{ 'port': 26533, 'wrappers': ['pong_wrapper'] }) as etb:
PingPongTest(etb).run()
def main():
with ETBNetwork('single node ETB',
{ 'port': 26532,
'wrappers': [os.path.abspath('wrappers/yices_api')],
'rules':[os.path.abspath('allsat_rules')]}) as etb:
AllSatLiveTest(etb).run()
def setup():
etb = ETBNetwork('two nodes ETB',
{ 'directory': 'test/main', 'port': 26532 },
{ 'directory': 'test/utils', 'port': 26533, 'wrappers': ['utils', 'test_wrappers']})
etb.setupOnly()
etb.__enter__()
def setup_claims():
etb = ETBNetwork('Single node ETB',
{ 'directory': 'test/claims', 'port': 26532, 'wrappers': ['test_wrappers']})
etb.setupOnly()
etb.__enter__()
def setup2():
etb = ETBNetwork('One node ETB',
{ 'directory': 'test/test', 'port': 26532, 'wrappers': ['utils', 'yices_batch']})
etb.setupOnly()
etb.__enter__()