summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorMateus Cruz <mateuscolvr@gmail.com>2024-02-06 03:08:10 -0300
committerMateus Cruz <mateuscolvr@gmail.com>2024-02-06 03:15:27 -0300
commit606f39cb00766e5be46b38e3c3034e702c3795e6 (patch)
tree83a85fbb43b8da3980ed44bd7848c491af3e70fc /test
parentdb882cae080d3820f1723a711398c21db27f826a (diff)
chore: rename app
Diffstat (limited to 'test')
-rw-r--r--test/dune2
-rw-r--r--test/test_combattant.ml (renamed from test/test_rinha.ml)0
2 files changed, 1 insertions, 1 deletions
diff --git a/test/dune b/test/dune
index df3754d..6caed9b 100644
--- a/test/dune
+++ b/test/dune
@@ -1,2 +1,2 @@
(test
- (name test_rinha))
+ (name test_combattant))
diff --git a/test/test_rinha.ml b/test/test_combattant.ml
index e69de29..e69de29 100644
--- a/test/test_rinha.ml
+++ b/test/test_combattant.ml