When trying to analyze single proof times, the current filters are not sufficient. An idea would be to add some entity filter option to only show matching entries for a certain entity.
Roughly like
run_spat -rf - ct -e Setup_Key -P saatana.gpr
Which would have the expected effect (report failed/sort by time), but only for entities that match "Setup_Key".
Open questions: Maybe wildcard matching, or even reg exp?
When trying to analyze single proof times, the current filters are not sufficient. An idea would be to add some entity filter option to only show matching entries for a certain entity.
Roughly like
run_spat -rf - ct -e Setup_Key -P saatana.gprWhich would have the expected effect (report failed/sort by time), but only for entities that match "Setup_Key".
Open questions: Maybe wildcard matching, or even reg exp?