(test
 (name test_colitur)
 (libraries colitur_kernel alcotest qcheck qcheck-alcotest sexplib))

(cram
 (deps %{bin:colitur}))
