alcotest icon indicating copy to clipboard operation
alcotest copied to clipboard

filter by test case name

Open arbipher opened this issue 2 years ago • 0 comments

Note that you cannot filter by test case name (i.e. Lower case or Capitalization), you must filter by test name & number instead.

I saw this in the doc. May I ask about the design choice for this?

arbipher avatar Jul 18 '22 21:07 arbipher