aboutsummaryrefslogblamecommitdiffstats
path: root/test/test_rnt.ml
blob: fdf7ef70841ef5f78e65563781759a407c45092b (plain) (tree)
1
2
3
4
5
6
7
8
9
                
                                

                                           
                                
                                             
                                 
                                 
                                 
                                      
 
                                      
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.Journal.suites ()
  @ Unit.Evaluators.FOL.suites ()
  @ Integration.Registration.suites ()

let () = Alcotest.run "RNT" all_suites