search

seahorn / crab

A library for building abstract interpretation-based analyses
Apache License 2.0
234 stars 32 forks source link

CMake Options #30

Closed agurfinkel closed 5 years ago

agurfinkel commented 5 years ago

CMake top-level options should be prefixed with CRAB. For example,

USE_LDD --> CRAB_ENABLE_LDD USE_APRON --> CRAB_ENABLE_APRON

etc.