added count per iteration plot

herbie-fp · Oct 29, 2024 · e179028 · e179028
1 parent 4391cc7
commit e179028
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 1 deletion.
diff --git a/infra/nightly.sh b/infra/nightly.sh
@@ -62,6 +62,7 @@ function perf {
     python3 infra/ratio_plot.py -t "$REPORTDIR"/timeline.json -o "$REPORTDIR"
     python3 infra/point_graph.py -t "$REPORTDIR"/timeline.json -o "$REPORTDIR"
     python3 infra/histograms.py -t "$REPORTDIR"/timeline.json -o "$REPORTDIR"
+    python3 infra/cnt_per_iters_plot.py -t "$REPORTDIR"/timeline.json -o "$REPORTDIR"
     cp profile.json "$REPORTDIR"/profile.json
     cp profile.js "$REPORTDIR"/profile.js
 }
@@ -71,6 +72,7 @@ function bench {
     python3 infra/ratio_plot.py -t "$REPORTDIR"/timeline.json -o "$REPORTDIR"
     python3 infra/point_graph.py -t "$REPORTDIR"/timeline.json -o "$REPORTDIR"
     python3 infra/histograms.py -t "$REPORTDIR"/timeline.json -o "$REPORTDIR"
+    python3 infra/cnt_per_iters_plot.py -t "$REPORTDIR"/timeline.json -o "$REPORTDIR"
     cp profile.json "$REPORTDIR"/profile.json
     cp profile.js "$REPORTDIR"/profile.js
 }

diff --git a/infra/ratio_plot.py b/infra/ratio_plot.py
@@ -82,7 +82,7 @@ def tool_cmp2speed(x):
             label='sollya')
 
     ax.legend()
-    ax.set_xlabel("Truth uniform precision")
+    ax.set_xlabel("True uniform precision")
     ax.set_ylabel("Ratio")
     ax.yaxis.grid(True, linestyle='-', which='major', color='grey', alpha=0.3)
     plt.savefig(args.path + "/ratio_plot_precision.png", format="png")

diff --git a/time.rkt b/time.rkt
@@ -403,6 +403,7 @@
     (html-add-plot html-port "ratio_plot_iter.png")
     (html-add-plot html-port "ratio_plot_precision.png")
     (html-add-plot html-port "point_graph.png")
+    (html-add-plot html-port "cnt_per_iters_plot.png")
     (html-add-histogram html-port "histogram_valid.png")
     (html-add-histogram html-port "histogram_all.png"))