You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When trying to run a single test with the latest pytest driver, it ends up with:
INTERNALERROR> File ".../lib/python3.11/site-packages/_pytest/config/__init__.py", line 1709, in getoption
INTERNALERROR> raise ValueError(f"no option named {name!r}") from e
INTERNALERROR> ValueError: no option named 'cov_source'
The text was updated successfully, but these errors were encountered:
The source coverage option may not be defined when running the tests
manually. The option existence should be checked before trying to get
it.
ClosesAdaCore#720
The source coverage option may not be defined when running the tests
manually. The option existence should be checked before trying to get
it.
ClosesAdaCore#720
When trying to run a single test with the latest
pytest
driver, it ends up with:The text was updated successfully, but these errors were encountered: