Enable LIT Testing - #861

Open

fabianbs96 wants to merge 27 commits into

secure-software-engineering:developmentfrom

fabianbs96:f-LIT

Commits on Aug 24, 2026

added lit test suite for xtaint tests
mxHuber
committed
12a4b6f

Commits on Aug 25, 2026

moved lit comments to the bottom, so new tests added don't disrupt leak lines
mxHuber
committed
6db805e

Commits on Sep 6, 2026

added prefixes, ifds-fieldsens and fixed ideextaint prints
mxHuber
committed
063c2e5
added ide-xtaint test lines after print fix
mxHuber
committed
8b94ad1

Commits on Sep 9, 2026

moved xtaint domain and printer selector
mxHuber
committed
2354965
added custom target for lit tests
mxHuber
committed
0a06502

Commits on Sep 10, 2026

Commits on Sep 14, 2026

Commits on Sep 15, 2026

CMake Lit config + path substitutions
fabianbs96
committed
2a058d5

Commits on Sep 17, 2026

Commits on Sep 19, 2026

Install required apt package for lit / filecheck
fabianbs96
committed
c5cb2e6
Merge branch 'development' into f-LIT
fabianbs96
committed
d76da1e
Next attempt to fix ci
fabianbs96
committed
f1ae7a7
Next attempt to fix ci
fabianbs96
committed
ed62bf5
Fix mono-ifds ground-truth
fabianbs96
committed
7695f01
Fix paths in double-free tests
fabianbs96
committed
a9e2c95
Next attempt to fix CI
fabianbs96
committed
b1a6532
Fix docker CI + bump checkout action
fabianbs96
committed
c250ef0
Remove phasar_pass from libphasar to prevent double-registration of cli options with shared libraries
fabianbs96
committed
30c6b13
modules
fabianbs96
committed
e4c68b4
Fix df_21 compilation with clang-22
fabianbs96
committed
6193aca