|BUT - Faculty of Information Technology|
There is simple example of using ReplayTracer. This example shows interleaving threads.
Download contains source-code of example, instrumentation binaries of example, recorded error trace (one running of program), properties files, which contains required settings of aptr and selected settings of JPF, run script and readme file.
Copyright © 2009-2010, Brno University of Technology All rights reserved.
Ing.Vendula Hrubá, ihruba at fit.vutbr.cz