;; Linearization tests of the stdlib Stack module

(test
 (name lin_tests)
 (modules lin_tests)
 (package multicoretests)
 (flags (:standard -w -27))
 (libraries qcheck-lin.domain qcheck-lin.thread)
 (action (run %{test} --verbose))
)

(test
 (name lin_internal_tests)
 (modules lin_internal_tests)
 (package multicoretests)
 (flags (:standard -w -27))
 (libraries qcheck-lin.domain qcheck-lin.thread)
  ; (action (run %{test} --verbose))
 (action (progn))
)

