Add TODOs for other uses of Queries.eval_bool · goblint/analyzer@8a037d6

Triggered via push February 18, 2025 13:56

sim642

assert-ptr

Status Success

Total duration 22m 30s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.8 MB	`sha256:0b3596d7d3233c3474a6087150d00b301d65c7b1a4c9dfa7ae7de351c4ff3d6c`
suite_result-ubuntu-22.04 Expired	2.79 MB	`sha256:d18473a1fff8edf31dbb125e4bd44bc8b5922c531f817411a9634c112b617c88`