aboutsummaryrefslogblamecommitdiffstats
path: root/test/test_rnt.ml
blob: da8c008de10e3760e100551b09317e25c5b8dc00 (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.Evaluators.FOL.suites ()
  @ Integration.Registration.suites ()

let () = Alcotest.run "RNT" all_suites