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