[NEW] options to skip compilation and preprocessing
[NEW] options to skip compilation and preprocessing

seahorn/crab-llvm,seahorn/crab-llvm,caballa/crab-llvm,caballa/crab-llvm,seahorn/crab-llvm,caballa/crab-llvm