options

Add stringified original expression to __goblint_assert, etc #11557

Sign in to view logs

Triggered via push December 1, 2025 12:17

sim642

assert-pretty

Status Success

Total duration 17s

Artifacts –

options.yml

on: push

Matrix: validate-conf