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

Annotations

4 warnings

Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/11bd71901bbe5b1630ceea73d27597364c9af683'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.

Back off 12.119 seconds before retry.

Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/11bd71901bbe5b1630ceea73d27597364c9af683'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.

Back off 29.677 seconds before retry.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

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

test (3.12)