Fix paths

runtimeverification · Oct 20, 2023 · 9ed0c96 · 9ed0c96
1 parent dcc28d7
commit 9ed0c96
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/k-distribution/tests/regression-new/issue-3672-debugParse/Makefile b/k-distribution/tests/regression-new/issue-3672-debugParse/Makefile
@@ -3,6 +3,6 @@ EXT=test
 TESTDIR=.
 KAST_FLAGS=--debug-parse
 PIPEFAIL=
-CHECK=$(CONSIDER_ERRORS) | diff -
+CHECK=$(CONSIDER_ERRORS) $(REMOVE_PATHS) | diff -
 
-include ../../../include/kframework/ktest.mak
+include ../../../include/kframework/ktest.mak
diff --git a/k-distribution/tests/regression-new/issue-3672-debugParse/a.test.kast.out b/k-distribution/tests/regression-new/issue-3672-debugParse/a.test.kast.out
@@ -5,7 +5,7 @@ Additional parsing diagnostic information:
     produced partial term:
       `_+__TEST-SYNTAX_Exp_Exp_Exp`(#token("1","Int"),#token("<error>","<invalid>"))
 
-	Source(/Users/brucecollie/code/k/k-distribution/tests/regression-new/issue-3672-debugParse/./a.test.kast)
+	Source(a.test.kast)
 	Location(1,4,1,5)
 	1 |	1 ++ 2
 	  .	   ^
diff --git a/k-distribution/tests/regression-new/issue-3672-debugParse/b.test.kast.out b/k-distribution/tests/regression-new/issue-3672-debugParse/b.test.kast.out
@@ -5,7 +5,7 @@ Additional parsing diagnostic information:
     produced partial term:
       `_*__TEST-SYNTAX_Exp_Exp_Exp`(`_+__TEST-SYNTAX_Exp_Exp_Exp`(#token("1","Int"),#token("5","Int")),#token("<error>","<invalid>"))
 
-	Source(/Users/brucecollie/code/k/k-distribution/tests/regression-new/issue-3672-debugParse/./b.test.kast)
+	Source(b.test.kast)
 	Location(1,9,1,10)
 	1 |	1 + 5 * a / 2
 	  .	        ^