INFO: Using directory: "2" INFO: Using existing c-file: ./Unittest_SPLIT.c INFO: Using existing binary: ./Unittest_SPLIT.out INFO: === *** TRACE end *** Detector: PSD_I=1 PSD_ERR=0.0001 PSD_N=1e+08 "splits.dat" INFO: Placing instr file copy Unittest_SPLIT.instr in dataset 2 INFO: Placing generated c-code copy Unittest_SPLIT.c in dataset 2