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 should initialize git modules #7

Closed yaqwsx closed 8 years ago

yaqwsx commented 8 years ago

Fixed.