c374635
5a79973
38e6091
1 2
3 4
5
(include_subdirs qualified) (test (name test_rnt) (libraries rnt subsystem alcotest qcheck-core qcheck-alcotest batteries))