issues
search
paradise-fi
/
SymDIVINE
No longer maintained: Verification tool for parallel C/C++ programs with LTL support
MIT License
6
stars
2
forks
source link
build errors
#3
Closed
mchalupa
closed
8 years ago
mchalupa
commented
8 years ago
this fixed the build
this fixed the build