Skip to content
External contributor greeter

Remove redundant ternary when encoding boolean literals in SMTEncoder #1560

Sign in to view logs

Remove redundant ternary when encoding boolean literals in SMTEncoder

Remove redundant ternary when encoding boolean literals in SMTEncoder #1560

Run time

Learn about OS pricing on GitHub Actions
Job Run time
comment-external-pr
4s
4s