Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Provide an entity filter parameter #34

Closed
Jellix opened this issue Jun 18, 2020 · 0 comments · Fixed by #42
Closed

Provide an entity filter parameter #34

Jellix opened this issue Jun 18, 2020 · 0 comments · Fixed by #42
Assignees
@Jellix
Labels
enhancement New feature or request
Projects
Roadmap
Milestone
V1.1.0

Comments

@Jellix
Copy link
Member

Jellix commented Jun 18, 2020

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?
@Jellix Jellix self-assigned this Jun 18, 2020
@Jellix Jellix added the enhancement New feature or request label Jun 18, 2020
@Jellix Jellix added this to To Do in Roadmap via automation Jun 18, 2020
@Jellix Jellix added this to the V1.1.0 milestone Jun 18, 2020
@Jellix Jellix mentioned this issue Jun 18, 2020
Closed
@Jellix Jellix moved this from To Do to In progress in Roadmap Jun 20, 2020
@Jellix Jellix mentioned this issue Jun 21, 2020
Merged
@Jellix Jellix linked a pull request Jun 21, 2020 that will close this issue
Entity filter #42
Merged
Roadmap automation moved this from In progress to Done Jun 21, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Jellix Jellix

Labels
enhancement New feature or request
Projects
Roadmap
  
Done
Milestone
V1.1.0
Development

Successfully merging a pull request may close this issue.

Entity filter HeisenbugLtd/spat
1 participant
@Jellix