From 79e561bb05230c7e97f7e75723bf13a03e6bb9ab Mon Sep 17 00:00:00 2001
From: Andreas Grois <andi@grois.info>
Date: Wed, 19 Nov 2025 22:49:06 +0100
Subject: Fix tests

---
 lakefile.toml | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'lakefile.toml')

diff --git a/lakefile.toml b/lakefile.toml
index 91e4800..85a03a9 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -1,14 +1,18 @@
 name = "lean-astar"
 version = "0.1.0"
 defaultTargets = ["LeanAStar"]
-testDriver = "LeanAStarTest"
+testDriver = "leanastartest"
 
 [[lean_lib]]
 name = "LeanAStar"
 
-[[lean_exe]]
+[[lean_lib]]
 name = "LeanAStarTest"
 
+[[lean_exe]]
+name = "leanastartest"
+root = "LeanAStarTest"
+
 [[require]]
 name = "BinaryHeap"
 git = "http://git.grois.info/BinaryHeap"
-- 
cgit v1.2.3