diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-24 15:48:49 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-24 15:48:49 -0300 |
| commit | 9e158f5dc42cbc51fa89e3627d2fd20918915f8b (patch) | |
| tree | cd14f1fb35acb7fc1604aba31c1e96236a6d3397 /test/test_rnt.ml | |
| parent | 3eb816950451dd7074dbca6d4ac38662b0d30a75 (diff) | |
| download | RNT-9e158f5dc42cbc51fa89e3627d2fd20918915f8b.tar.gz RNT-9e158f5dc42cbc51fa89e3627d2fd20918915f8b.zip | |
translator for karuta subsystem
Diffstat (limited to 'test/test_rnt.ml')
| -rw-r--r-- | test/test_rnt.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/test_rnt.ml b/test/test_rnt.ml index c6fcfd5..299c6ca 100644 --- a/test/test_rnt.ml +++ b/test/test_rnt.ml @@ -7,6 +7,7 @@ let all_suites = @ Unit.Kernel.Session.suites () @ Unit.Kernel.Branch.suites () @ Unit.Evaluators.FOL.suites () + @ Unit.Karuta.Translator.suites () @ Integration.Registration.suites () let () = Alcotest.run "RNT" all_suites |