
(executable
  (name QCheck_alcotest_test)
  (libraries qcheck-core qcheck-alcotest alcotest))
