Linearized symbolic execution in proof tree #1960

Sign in to view logs

Triggered via pull request January 11, 2024 08:58

synchronize #3237

FliegendeWurst:linearTree

Status Success

Total duration 6m 25s

Artifacts –

codeql.yml

on: pull_request

Matrix: Analyze

Annotations

1 warning

Analyze (java)

The "paths"/"paths-ignore" fields of the config only have effect for JavaScript, Python, and Ruby