lean-astar/LeanAStarTest/Tests.lean, branch mainA* in Lean4 https://git.grois.info/lean-astar/atom/LeanAStarTest/Tests.lean?h=main2025-11-19T21:49:06ZFix tests2025-11-19T21:49:06ZAndreas Groisandi@grois.info2025-11-19T21:49:06Zurn:sha1:79e561bb05230c7e97f7e75723bf13a03e6bb9abAdd simple unit test (and fix path output, as discovered by test)2025-01-11T22:39:24ZAndreas Groisandi@grois.info2025-01-11T22:39:24Zurn:sha1:0f1e30d0ab59a518c52eb64b0042eec4d212ef2f