Skip to content

Commit 641b61e

Browse files
committed
[ fix ] Testing for output from show goals on Windows
1 parent b3d0255 commit 641b61e

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

lib/js/test/tests/Test__ShowGoals.bs.js

Lines changed: 1 addition & 1 deletion
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

test/tests/Test__ShowGoals.res

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ let run = normalization => {
1717
let filteredResponses = responses->Array.filter(filteredResponse)
1818

1919
let filepath = Path.asset(filename)
20-
let expectedAllGoalsWarningsBody = `?0 : ℕ\n?1 : ℕ\n?2 : ℕ\n?3 : _11\nSort _10 [ at ${filepath}:11,19-31 ]\n_11 : _10 [ at ${filepath}:11,19-31 ]\n_14 : ℕ [ at ${filepath}:11,19-31 ]\n\n———— Error —————————————————————————————————————————————————\nUnsolved constraints`
20+
let expectedAllGoalsWarningsBody = `?0 : ℕ\n?1 : ℕ\n?2 : ℕ\n?3 : _11\nSort _10 [ at ${filepath}:11,19-31 ]\n_11 : _10 [ at ${filepath}:11,19-31 ]\n_14 : ℕ [ at ${filepath}:11,19-31 ]\n\n———— Errors ————————————————————————————————————————————————\nUnsolved constraints`
2121

2222
Assert.deepStrictEqual(
2323
filteredResponses,

0 commit comments

Comments
 (0)