예제 #1
0
 def test_mcss(self):
     from infobiotics.api import mcss as experiment
     e = experiment('../examples/quickstart-NAR/simulation.params')
     e.perform()
예제 #2
0
 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()
예제 #3
0
 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()
예제 #4
0
 def test_prism(self):
     from infobiotics.api import prism as experiment
     e = experiment('../examples/quickstart-NAR/model_checking_prism.params')
     e.perform()