Skip to content
CN Spec Testing

tentatively tweak z3 solver parameter, as suggested by Can C #102

Sign in to view logs

tentatively tweak z3 solver parameter, as suggested by Can C

tentatively tweak z3 solver parameter, as suggested by Can C #102

Triggered via pull request December 6, 2024 17:12
@cp526cp526
opened #744
cp526:z3-solver-parameter-tweak-1
Status Success
Total duration 5m 35s
Artifacts –

ci-cn-spec-testing.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in