Avoid scary implicit conversion from sexp
to bool
(#757)
#243
Job | Run time |
---|---|
1m 47s | |
3m 30s | |
5m 23s | |
2m 21s | |
2m 22s | |
1m 59s | |
2m 6s | |
2m 9s | |
2m 12s | |
23m 49s |
sexp
to bool
(#757)
#243
Job | Run time |
---|---|
1m 47s | |
3m 30s | |
5m 23s | |
2m 21s | |
2m 22s | |
1m 59s | |
2m 6s | |
2m 9s | |
2m 12s | |
23m 49s |