Skip to content
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

Updated approximations version #208

Merged
merged 3 commits into from
Aug 14, 2024

supported final method case in virtual call

04f1e47
Select commit
Loading
Failed to load commit list.
Merged

Updated approximations version #208

supported final method case in virtual call
04f1e47
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / detekt succeeded Aug 14, 2024 in 3s

1 new alert

New alerts in code changed by this pull request

  • 1 warning

See annotations below for details.

View all branch alerts.

Annotations

Check warning on line 312 in usvm-jvm/src/main/kotlin/org/usvm/machine/interpreter/JcInterpreter.kt

See this annotation in the file changed.

Code scanning / detekt

Reports spaces around parentheses Warning

Unexpected spacing before "("