CodeQL

Move is_{true,false,zero,one} from `exprt` to `constant_exprt` #7137

Sign in to view logs

Triggered via pull request June 25, 2025 08:37

tautschnig

synchronize #8664

tautschnig:constant_exprt-is

Status Success

Total duration 1h 30m 51s

Artifacts –

codeql-analysis.yml

on: pull_request

Matrix: Analyze