eof: Disable smtCheckerTests when compiling to EOF
#1146
| Job | Run time |
|---|---|
| 5s | |
| 5s |
smtCheckerTests when compiling to EOF
#1146
| Job | Run time |
|---|---|
| 5s | |
| 5s |