def test_mcss(self):
from infobiotics.api import mcss as experiment
e = experiment('../examples/quickstart-NAR/simulation.params')
e.perform()
def test_mc2_gui(self):
from infobiotics.api import mc2 as experiment
e = experiment('../examples/quickstart-NAR/model_checking_mc2.params')
e._interaction_mode = 'gui'
e.perform()
def test_poptimizer_gui(self):
from infobiotics.api import poptimizer as experiment
e = experiment('../examples/quickstart-NAR/optimisation.params')
e._interaction_mode = 'gui'
e.perform()
def test_prism(self):
from infobiotics.api import prism as experiment
e = experiment('../examples/quickstart-NAR/model_checking_prism.params')
e.perform()