def verify(p,c,maxproc=2,timeout=None):
for m in p.models:
t = None
comment = "MaxProc%i" % maxproc
if m == "Traces":
t = Test.Test(p.name,c,p.toolname,m,timeout=timeout,comment=comment)
elif m == "MaxProc":
t = Test.Test(p.name,c,p.toolname,m,maxproc,timeout=timeout,comment=comment)
elif m == "Scen":
agents = getAgents(c)
sl = Scenario.ScenarioSet(p.roleCount(),maxproc,fill=True,agentcount=agents).list
t = Test.Test(p.name,c,p.toolname,m,sl,timeout=timeout,comment=comment)
elif m == "RepScen":
agents = getAgents(c)
ss = Scenario.ScenarioSet(p.roleCount(),1,fill=True,agentcount=agents)
ss.cover()
sl = ss.list
t = Test.Test(p.name,c,p.toolname,m,sl,timeout=timeout,comment=comment)
if t:
Report.report(t)
