Closed WillB97 closed 2 years ago
For my understanding -- what's the main use-case for this? Does piping the output through grep
not solve it?
One small extension here (though feel free to omit for simplicity) would be to embolden the matching TLA so that it stands out. If you do want to do this, have a look in the deploy command for text formatting stuff.
I'm going to close this. In general I'd expect this sort of thing to be handled by piping through grep
, for example:
$ srcomp show-schedule tests/dummy/ --all | grep -P '(SWI|Display)'
Num Time | A | B | Display Name |
2 13:12 | ICE : MFG : SWI : BRN | TBG : EMM : SGS : GYG | Match 2 |
7 13:42 | CGS : KHS : CLF : BRN | MFG : RGS : RED : SWI | Match 7 |
11 14:02 | CRB : KHS : TBG : SWI | WYC : BAY : LSS : HYP | Match 11 |
15 14:22 | KES : TTN : JMS : GYG | NHS : SWI : CLF : SEN | Match 15 |
17 14:32 | SWI : DSF : STA : ICE | TTN : CPR : JMS : SGS | Match 17 |
20 14:47 | BGS : GRD : CPR : BRN | SWI : BRK : HZW : BPV | Match 20 |
32 15:47 | SCC : MFG : SWI : LFG | KHS : TWG : MAI : SGS | Match 32 |
37 16:12 | PAG : CGS : GYG : LSS | SWI : EMM : CRB : PSC | Match 37 |
40 16:27 | HSO : LSS : SCC : DSF | RED : SWI : RUN : PSC | Match 40 |
52 17:27 | CGS : SWI : LFG : EMM | CLY : GRD : HSO : TWG | Match 52 |
58 09:55 | PSC : CPR : KDE : HSO | SWI : GRS : RED : EMM | Match 58 |
67 10:40 | BRN : SWI : CPR : LSS | MEA : LFG : QMS : STA | Match 67 |
85 12:10 | SWI : BGS : HYP : BDF | SCC : EMM : SEN : DSF | Match 85 |
89 13:25 | QEH : GRS : GRD : DSF | RGS : WYC : SWI : NHS | Match 89 |
90 13:30 | TWG : SWI : HZW : PAS | BRN : CPR : CLF : BWS | Match 90 |
97 14:05 | MAI2: RWD : BRN : ICE | CRB : CPR : KHS : SWI | Match 97 |
99 14:15 | SCC : HRS : SWI : KHS | HSO : GYG : BRN : RED | Match 99 |
105 14:45 | RUN : EMM : GRS : SWI | BDF : CRB : MAI : MAI2| Match 105 |
109 15:05 | RWD : PAS : CLF : SGS | PSC : BGS : PAG : SWI | Match 109 |
110 15:10 | MEA : BWS : SWI : ICE | GYG : CLY : KES : KHS | Match 110 |
Adds the
--team
option to limit displaying matches to those involving the selected team.