Add benchcomp filter command#3105

karkhaz merged 3 commits intomodel-checking:mainmodel-checking/kani:mainfrom

karkhaz:kk-benchcomp-filterkarkhaz/kani:kk-benchcomp-filterCopy head branch name to clipboard