INFO: Using directory: "3"
INFO: Using existing c-file: ./Test_monitors.c
INFO: Using existing binary: ./Test_monitors.out
WARNING: Ignoring invalid parameter: "Test_monitors.instr"
INFO: ===
[Test_monitors] Initialize
*** TRACE end *** 

Save [Test_monitors]
Detector: div_I=1.83672 div_ERR=0.00085714 div_N=4.59181e+06 "div0.dat"

Finally [Test_monitors: 3]. Time: 0 [s] 
INFO: Placing instr file copy Test_monitors.instr in dataset 3
INFO: Placing generated c-code copy Test_monitors.c in dataset 3