Add gcc build support - Githubissues

gleiss / rapid

Software Verification tool, which uses superposition-based theorem proving to establish the functional correctness of array- and hyper-properties.

3 stars 6 forks source link

Add gcc build support #24

Closed hentom closed 4 years ago

hentom commented 4 years ago

Because of its in that regard stricter interpretation of the C++ standard gcc (together with libstdc++) is currently not able to successfully build the the project. It fails, because of std::vector declarations with const values in the class Problem.