The trace printer tool outputs for each specified path all the trace items that were collected in these states. Items include memory accesses, executed translation blocks, or test cases. This tool is useful to quickly observe the execution sequence that led to a particular event that caused a state to terminate. It can also be useful for debugging.
A complete tutorial on how to generate and display a trace can be found here
Assuming you have obtained a trace in ExecutionTracer.dat, the following command outputs the translation block trace for paths 0 and 34. Omitting the -pathId option will cause the command to output the trace for all paths.
If the -printRegisters option is specified, the command also prints the contents of the registers before and after the execution of each translation block (provided that TranslationBlockTracer was enabled).
-printMemory also shows all memory accesses (provided that MemoryTracer` was enabled).
$ $S2EDIR/build/tools/Release+Asserts/bin/tbtrace -trace=s2e-last/ExecutionTracer.dat \ -outputdir=s2e-last/traces -pathId=0 -pathId=34 -printMemory