blob: 5224e35d850bbb1101c815ab7910a014c6e4f2bf (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
let all_suites =
Unit.Backend.Storage.suites ()
@ Unit.Concepts.Cardinality.suites ()
@ Unit.Kernel.EphemeralRelation.suites ()
@ Unit.Kernel.Merkle.suites ()
@ Unit.Kernel.SubstantialRelation.suites ()
@ Unit.Kernel.Session.suites ()
@ Unit.Kernel.Branch.suites ()
@ Unit.Evaluators.FOL.suites ()
@ Unit.Karuta.Translator.suites ()
@ Integration.Registration.suites ()
@ Integration.Karuta.suites ()
let () = Alcotest.run "RNT" all_suites
|
