seahorn/seatooling

Examples of using clang-libtooling

CMakeNOASSERTION