New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Pass location of source code in oracle context #527

Merged

niknetniko merged 1 commit into master from feature/include-source-in-oracle

Jun 25, 2024

Merged

Pass location of source code in oracle context #527

Pass source code location to oracles

Codecov / codecov/patch succeeded Jun 13, 2024 in 0s

97.36% of diff hit (target 86.98%)

View this Pull Request on Codecov

97.36% of diff hit (target 86.98%)

Annotations

Check warning on line 179 in tested/testsuite.py

codecov / codecov/patch

tested/testsuite.py#L179

Added line #L179 was not covered by tests

View more details on Codecov