ci: pin yices2=2.6.4 (#320) #6
pull[bot]Annotations
8 errors
|
test (--cache-solver, examples/tokens/ERC721)
Process completed with exit code 1.
|
|
test (--cache-solver, examples/simple)
Process completed with exit code 1.
|
|
test (examples/simple)
Process completed with exit code 1.
|
|
test (--cache-solver, examples/tokens/ERC20)
Process completed with exit code 1.
|
|
test (--cache-solver, tests/solver)
Process completed with exit code 1.
|
|
test (examples/tokens/ERC721)
Process completed with exit code 1.
|
|
test (examples/tokens/ERC20)
Process completed with exit code 1.
|
|
test (tests/solver)
Process completed with exit code 1.
|