search

dafny-lang / dafny-reportgenerator

A tool for analyzing and reporting on Dafny, especially the results of verification
MIT License
3 stars 4 forks source link

std parsing for -verificationLogger:text #20

Open seebees opened 1 year ago

seebees commented 1 year ago

I want to be able to run with -verificationLogger:text So that I can investigate what is slow or expensive. The CSV report does not have as much information.

But text output has everything and it is hard to filter. It would be great to be able to use the same tool.

Another option would be to add the information to the CSV report. There could then be options to ONLY print out exced the limit!

robin-aws commented 1 year ago

Yeah, I think the right direction is adding the same information to the CSV report, which might require restructuring the output into multiple linked files (since the data isn't just a flat table any more).