Whoops, and the lean 3 implementation.

Julian · Oct 22, 2023 · 4c0a32c · 4c0a32c
1 parent ab7f6b3
commit 4c0a32c
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/lua/tests/lean3/fixtures.lua b/lua/tests/lean3/fixtures.lua
@@ -11,4 +11,13 @@ fixtures.project = {
   some_nested_nonexisting_file = root .. '/example-project/src/bar/does_not_exist.lean'
 }
 
+function fixtures.project_files()
+  return pairs{
+    ["existing"] = fixtures.project.some_existing_file,
+    ["nested existing"] = fixtures.project.some_nested_existing_file,
+    ["nonexisting"] = fixtures.project.some_nonexisting_file,
+    ["nested nonexisting"] = fixtures.project.some_nested_nonexisting_file
+  }
+end
+
 return fixtures