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