Scripting Some scripting files trace converter (convert.c and convert.py) convert an obsolete trace file of Destor 0.1 to a version compatible to new Destor. a script for benchmarking destor a bash script