Skip to content
Tests

feat: add a parameter to adjust SMT encoding of literals #165

Sign in to view logs

feat: add a parameter to adjust SMT encoding of literals

feat: add a parameter to adjust SMT encoding of literals #165

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Racket 8.1 (CS)
40m 53s
Racket current (CS)
28m 0s
1h 8m 53s