VSharp-team / VSharp

Symbolic execution engine for .NET Core
Apache License 2.0
50 stars 32 forks source link

Generation of tables with test results in benchmarks #224

Open m-sedl opened 1 year ago

m-sedl commented 1 year ago

It would be convenient after each launch of the benchmark to receive a summary table with a list of tests and their statuses: successful or failed. This will help you quickly identify degradations and improvements in vhsrap.

I also suggest adding to the table a list of parameters with which the benchmark was launched. Now in the gui it is quite difficult to understand with what data the launch was made.