eps_small.py

'''This is an example of how to represent a functional model and
then experiment on it using IBFM

'''
from multiprocessing import *
import ibfm

if __name__ == '__main__':

  #eps = ibfm.Experiment('eps_small')
  #Run with 2 then 3 simultaneous faults
  #eps.run(1)
  #eps.run(2)
  #eps.run(3)
  #eps.run(4)
  
  exp = ibfm.Experiment('eps_small')
  #Run with 2 then 3 simultaneous faults
  exp.run(1)
  exp.run(2)
  
  
  #note: scenarios used are found in eps.scenarios
  #more information using eps.getScenarios()
  #end states are given by: list(map(eps.runOneScenario,eps.scenarios))