Add `Z3` option to CFG-based checkers #1628

Sign in to view logs

Triggered via pull request November 4, 2024 01:11

Raine-Yang-UofT

synchronize #1099

Raine-Yang-UofT:checker-z3-option

Status Success

Total duration 3m 26s

Artifacts –

test.yml

on: pull_request

Matrix: test