Replace --test test,id
by --test test:id
in the foundry-prove
test argument
#2052
Labels
bug
Something isn't working
The regex that should check if there is an id specified by the user in the
--test
flag of thefoundry-prove
command currently cannot make the difference with commas that separate function arguments, so it would be good to replace it with something like a colon:
and forget about using regex, but insteadevm-semantics/kevm-pyk/src/kontrol/__main__.py
Lines 441 to 449 in d5d9efc
The text was updated successfully, but these errors were encountered: