It seems CGC benchmark programs need to run under a framework (as they use XML files like SV-Benchmarks) to which we do not have access. Not sure if there is a workaround.
Our instrumentation tool, TraceJump, does not support instrumentation across multiple files.
CGCbenchmark programs need to run under a framework (as they useXMLfiles likeSV-Benchmarks) to which we do not have access. Not sure if there is a workaround.TraceJump, does not support instrumentation across multiple files.