Cleanup some `option` related code · goblint/analyzer@ebfbd06

Triggered via pull request July 31, 2025 08:20

synchronize #1689

option_cleanup

Status Success

Total duration 17m 23s

Artifacts 2

locked.yml

on: pull_request

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.95 MB	`sha256:1d1cd5c6e27d62d6cecd456ecbb0c5470b59b29c66a5a32922a7f4d304599440`
suite_result-ubuntu-22.04 Expired	2.98 MB	`sha256:1eef1e1cab8108f9d195ff50fb1295f4d02c7cd8967c77682298e3b0508ea71d`