The --max-resource-stddev and --max-duration-stddev flags to the summarize-csv-results command set the maximum value of the standard deviation of the resource count and duration measurements, respectively.
Since each verification execution generates a new CSV file, and the report generator reads all CSV files found, by default, we can just run verification several times to have several measurements for each Dafny proof obligation batch.
Add two new options for stability analysis
The
--max-resource-stddevand--max-duration-stddevflags to thesummarize-csv-resultscommand set the maximum value of the standard deviation of the resource count and duration measurements, respectively.Since each verification execution generates a new CSV file, and the report generator reads all CSV files found, by default, we can just run verification several times to have several measurements for each Dafny proof obligation batch.