blob: 784689d023a315728fcca20cefc79d7384ecd424 (
plain) (
tree)
|
|
let all_suites =
Unit.Backend.Storage.suites ()
@ Unit.Kernel.Merkle.suites ()
@ Unit.Kernel.SubstantialRelation.suites ()
@ Unit.Evaluators.FOL.suites ()
@ Integration.Registration.suites ()
let () = Alcotest.run "RNT" all_suites
|