diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-31 00:51:06 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2026-10-31 00:51:06 -0300 |
| commit | 38e60910a40a4b009db87049f11563f55d88b20f (patch) | |
| tree | 9e2bbb5ecbce210b561b38447ef658bc227cfd96 /test/test_rnt.ml | |
| parent | 8c2f0db7337328570af57461a3d95203537ac185 (diff) | |
| download | RNT-master.tar.gz RNT-master.zip | |
Diffstat (limited to '')
| -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 |