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