Update option printstats -> dbg.timing.enabled

Due to goblint/analyzer#844.

Author: sim642

gobpie-demos/chrony/chrony-4.2.json

@@ -57,7 +57,11 @@
       "inlines": false
     }
   },
-  "printstats": true,
+  "dbg": {
+    "timing": {
+      "enabled": true
+    }
+  },
   "warn": {
     "assert": false,
     "behavior": false,

gobpie-demos/silver-searcher/the_silver_searcher.json

@@ -42,7 +42,11 @@
       "inlines": false
     }
   },
-  "printstats": true,
+  "dbg": {
+    "timing": {
+      "enabled": true
+    }
+  },
   "warn": {
     "assert": false,
     "behavior": false,

gobpie-demos/smtprc/smtprc-fuel.json

@@ -58,7 +58,11 @@
       "inlines": false
     }
   },
-  "printstats": true,
+  "dbg": {
+    "timing": {
+      "enabled": true
+    }
+  },
   "warn": {
     "assert": false,
     "behavior": false,

gobpie-demos/smtprc/smtprc.json

@@ -58,7 +58,11 @@
       "inlines": false
     }
   },
-  "printstats": true,
+  "dbg": {
+    "timing": {
+      "enabled": true
+    }
+  },
   "warn": {
     "assert": false,
     "behavior": false,

index/conf/zstd-race-baseline.json

@@ -71,7 +71,11 @@
       "inlines": false
     }
   },
-  "printstats": true,
+  "dbg": {
+    "timing": {
+      "enabled": true
+    }
+  },
   "warn": {
     "assert": false,
     "behavior": false,

index/conf/zstd-race-incrpostsolver.json

@@ -64,7 +64,11 @@
       "inlines": false
     }
   },
-  "printstats": true,
+  "dbg": {
+    "timing": {
+      "enabled": true
+    }
+  },
   "warn": {
     "assert": false,
     "behavior": false,

juliet/juliet_summary.py

@@ -74,7 +74,7 @@ def check_path(filepath):
 # '_good' or '_bad' determined by input parameter 'mode'
 def goblint_cmd(filepath, filename, mode):
 	func = re.sub('a?\.c$', mode, filename) # File ending is cut and replaced by mode
-	cmd = goblint_path + ' ' + filepath + ' ' + testsupport_files + ' -I ' + testsupport_path + ' --sets "mainfun[+]" ' + func + ' --enable dbg.debug --enable printstats'
+	cmd = goblint_path + ' ' + filepath + ' ' + testsupport_files + ' -I ' + testsupport_path + ' --sets "mainfun[+]" ' + func + ' --enable dbg.debug --enable dbg.timing.enabled'
 	print(filename + ' -- ' + mode[1:] + '     ', end='\r')
 	process = subprocess.run(cmd, shell=True, check=True, stdout=subprocess.PIPE, stderr=subprocess.PIPE, universal_newlines=True)
 	#title = '#####################\n' + mode.upper() + '\n#####################\n\n'

update_bench.rb

@@ -242,7 +242,7 @@ def proc_linux_res(resultfile, url, filename)
     outfile = $testresults + File.basename(filename,".c") + ".#{aname}.txt"
     starttime = Time.now
     #Add --sets cilout /dev/null to ignore CIL output.
-    cmd = "#{goblint} --set dbg.timeout #{timeout} #{aparam} #{filename} #{p.params}  --enable allglobs --enable printstats 1>#{outfile} 2>&1"
+    cmd = "#{goblint} --set dbg.timeout #{timeout} #{aparam} #{filename} #{p.params}  --enable allglobs --enable dbg.timing.enabled 1>#{outfile} 2>&1"
     system(cmd)
     status = $?.exitstatus
     endtime   = Time.now

update_bench_incremental.rb

@@ -269,7 +269,7 @@ def analyze_project(p, save)
     outfile = $testresults + resname + ".#{aname}.txt"
     starttime = Time.now
     #Add --sets cilout /dev/null to ignore CIL output.
-    cmd = "#{$goblint} --conf #{$goblint_conf} -v --set dbg.timeout #{$timeout} #{aparam} #{filename} #{p.params} --enable allglobs --enable printstats --set result json-messages 1>#{outfile} 2>&1"
+    cmd = "#{$goblint} --conf #{$goblint_conf} -v --set dbg.timeout #{$timeout} #{aparam} #{filename} #{p.params} --enable allglobs --enable dbg.timing.enabled --set result json-messages 1>#{outfile} 2>&1"
     system(cmd)
     status = $?.exitstatus
     endtime   = Time.now

update_bench_traces.rb

@@ -256,7 +256,7 @@ def proc_linux_res(resultfile, url, filename)
     precfile = $testresults + File.basename(filename,".c") + ".#{aname}.prec"
     starttime = Time.now
     #Add --sets cilout /dev/null to ignore CIL output.
-    cmd = "#{goblint} --conf #{goblint_conf} --set dbg.timeout #{timeout} #{aparam} #{filename} #{p.params}  --enable allglobs --enable printstats --enable dbg.debug -v --sets exp.priv-prec-dump #{precfile} 1>#{outfile} 2>&1"
+    cmd = "#{goblint} --conf #{goblint_conf} --set dbg.timeout #{timeout} #{aparam} #{filename} #{p.params}  --enable allglobs --enable dbg.timing.enabled --enable dbg.debug -v --sets exp.priv-prec-dump #{precfile} 1>#{outfile} 2>&1"
     system(cmd)
     status = $?.exitstatus
     endtime   = Time.now