From fdd74ae2567bf73588fe0abe4f965e078535f6ab Mon Sep 17 00:00:00 2001
From: karmacoma <karma@coma.lol>
Date: Fri, 24 May 2024 21:14:03 -0700
Subject: [PATCH] fix windows ci

---
 tests/test_parser.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tests/test_parser.py b/tests/test_parser.py
index 42794662..53e3112e 100644
--- a/tests/test_parser.py
+++ b/tests/test_parser.py
@@ -33,11 +33,12 @@ def test_config_file_in_project_root():
     cfp = ConfigFileProvider()
 
     # when we pass the project root as an argument
+    base_path = "/path/to/project"
     args = ["--root", "/path/to/project", "--extra-args", "ignored", "--help"]
     cfp.resolve_config_files(args)
 
     # then the config file should be in the project root
-    assert cfp.provide() == ["/path/to/project/halmos.toml"]
+    assert cfp.provide() == [os.path.join(base_path, "halmos.toml")]
 
 
 def test_load_config_file_not_found():