Skip to content
WASI Build

change smtlib backend to use list() function instead of SExpr{} const… #1020

Sign in to view logs

change smtlib backend to use list() function instead of SExpr{} const…

change smtlib backend to use list() function instead of SExpr{} const… #1020

Run time

Learn about OS pricing on GitHub Actions
Job Run time
wasi
15m 37s
15m 37s