Chore fixes and convenient run script#152

Merged

misonijnik merged 3 commits intomainfrom columpio/fixes

Nov 7, 2023

+708-2

Commits on Nov 3, 2023

[fix] klee-test-comp.c
Columpio
committed

Commits on Nov 7, 2023