diff options
Diffstat (limited to 'test/signatures/CMakeLists.txt')
-rw-r--r-- | test/signatures/CMakeLists.txt | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/test/signatures/CMakeLists.txt b/test/signatures/CMakeLists.txt new file mode 100644 index 000000000..64da9fad2 --- /dev/null +++ b/test/signatures/CMakeLists.txt @@ -0,0 +1,33 @@ +set(lfsc_test_file_list + drat_test.plf + er_test.plf + example-arrays.plf + example.plf + example-quant.plf + ex_bv.plf + ex-mem.plf + lrat_test.plf + th_lira_test.plf +) + +set(test_script ${CMAKE_CURRENT_LIST_DIR}/run_test.py) + +macro(lfsc_test file) + set(test_name "signatures/${file}") + add_test( + NAME "${test_name}" + COMMAND + "${PYTHON_EXECUTABLE}" + "${test_script}" + "${LFSC_BINARY}" + "${CMAKE_CURRENT_LIST_DIR}/${file}" + "${CMAKE_SOURCE_DIR}/proofs/signatures" + WORKING_DIRECTORY ${CMAKE_CURRENT_LIST_DIR} + ) + + set_tests_properties("${test_name}" PROPERTIES LABELS "signatures") +endmacro() + +foreach(file ${lfsc_test_file_list}) + lfsc_test(${file}) +endforeach() |