list(APPEND LDFLAGS -lm) | |
if(SMALL_PROBLEM_SIZE) | |
set(INPUT small.cnf) | |
else() | |
if(LARGE_PROBLEM_SIZE) | |
set(INPUT long.cnf) | |
else() | |
set(INPUT short.cnf) | |
endif() | |
endif() | |
set(RUN_OPTIONS -verbosity=0 ${INPUT}) | |
set(FP_TOLERANCE 0.1) | |
llvm_multisource(minisat) | |
llvm_test_data(minisat ${INPUT}) |