alcotest
alcotest copied to clipboard
filter by test case name
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?