[certi-cvs] certi/test/Billard dtest_billard.py

[CERTI CVS commits]

CVSROOT:        /sources/certi
Module name:    certi
Changes by:     Eric NOULARD <erk>      13/03/18 08:47:48

Modified files:
        test/Billard   : dtest_billard.py 

Log message:
        Add example of alternative trace manager

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/certi/test/Billard/dtest_billard.py?cvsroot=certi&r1=1.6&r2=1.7

Patches:
Index: dtest_billard.py
===================================================================
RCS file: /sources/certi/certi/test/Billard/dtest_billard.py,v
retrieving revision 1.6
retrieving revision 1.7
diff -u -b -r1.6 -r1.7
--- dtest_billard.py    11 Oct 2008 21:23:07 -0000      1.6
+++ dtest_billard.py    18 Mar 2013 08:47:47 -0000      1.7
@@ -28,6 +28,8 @@
 import threading
 import getopt, sys
 import dtest
+# uncomment this if you want Promela/SPIN trace
+#from dtest.Promela_trace_handler import PromelaTraceHandler
 
 pseudoExecActive=0
 
@@ -161,8 +163,20 @@
 dtest.DTester.logger.setLevel(level=logging.WARNING)
 dtest.SSHSessionHandler.logger.setLevel(level=logging.WARNING)
 
+# Add some trace Handlers
+traceManager = dtest.TraceManager()
+# TAP goes to stdout
+traceManager.register(dtest.TAPTraceHandler())
+# MSC goes to file MSC-trace
+traceManager.register(dtest.MSCTraceHandler(output="billard-trace.msc"))
+# Promela goes to PROMELA_trace
+#traceManager.register(PromelaTraceHandler())
+
 def goTest():
     myDTestMaster = dtest.DTestMaster("CERTI Billard autotest","Launch RTIG + 
several billards")
+    myDTestMaster.registerTraceManager(traceManager)
+    myDTestMaster.trace=1
+
     if (pseudoExecActive):
         myDTestMaster.setPseudoExec(1)
     myDTestMaster.timeout = 40