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

(rule
  (targets output.txt)
  (deps ./QCheck_alcotest_test.exe)
  (enabled_if (= %{os_type} "Unix"))
  (action
    (with-accepted-exit-codes
      1
      (setenv
        QCHECK_SEED 1234
        (with-stdout-to
          %{targets}
          (run ./run_alcotest.sh --color=never))))))

(rule
  (alias runtest)
  (package qcheck-alcotest)
  (enabled_if (= %{os_type} "Unix"))
  (action (diff output.txt.expected output.txt)))
