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

configure is not executable #2

Closed mchalupa closed 9 years ago

mchalupa commented 9 years ago

it lacks x permission