Skip to content

factor out SExpr/SExprWriter classes out of smtlib backend, and also … #3544

factor out SExpr/SExprWriter classes out of smtlib backend, and also …

factor out SExpr/SExprWriter classes out of smtlib backend, and also … #3544

Triggered via push July 11, 2024 10:30
Status Failure
Total duration 12m 11s
Artifacts

test-linux.yml

on: push
Matrix: test-linux
Fit to window
Zoom out
Zoom in

Annotations

7 errors
test-linux (ubuntu-20.04, focal, clang-11, c++11)
Process completed with exit code 2.
test-linux (ubuntu-20.04, focal, clang-12, c++11)
Process completed with exit code 2.
test-linux (ubuntu-20.04, focal, clang-12, c++14)
Process completed with exit code 2.
test-linux (ubuntu-20.04, focal, gcc-11, c++20)
Process completed with exit code 1.
test-linux (ubuntu-20.04, focal, gcc-10, c++11)
Process completed with exit code 2.
test-linux (ubuntu-20.04, focal, gcc-11, c++11)
Process completed with exit code 2.
test-linux (ubuntu-20.04, focal, gcc-11, c++14)
Process completed with exit code 2.