Remove klee_stubs and add CI for if_statements test - #14

Merged

lsk567 merged 5 commits into

mainfrom

ci/add-if-statements-test

Mar 3, 2026

Commits on Feb 25, 2026

Remove klee_stubs and add CI for if_statements test

lsk567
and
claude
committed
a6a9c46

Commits on Mar 2, 2026

fix(ci): fix KLEE build and rename job to basic-tests

lsk567
and
claude
committed
fb45eab
fix: remove invalid 'yaml' from requirements.txt

lsk567
and
claude
committed
081dca7
fix(ci): add missing llvm-as symlink

lsk567
and
claude
committed
a6a83fe
fix(ci): build FlexPRET in-place at /opt/flexpret

lsk567
and
claude
committed
5ade595