| 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}) |