Skip to content

Commit

Permalink
Remove extra spaces in log messages and misplaced green function call
Browse files Browse the repository at this point in the history
If there are discarded tests, output is green and yellow but the result
still shows as green. Better to leave it uncolored.
  • Loading branch information
moodmosaic committed Nov 8, 2024
1 parent 9e4f5bf commit 24cbd52
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 5 deletions.
2 changes: 0 additions & 2 deletions heatstroke.ts
Original file line number Diff line number Diff line change
Expand Up @@ -138,11 +138,9 @@ export function reporter(
} else {
radio.emit(
"logMessage",
green(
`\nOK, ${
type === "invariant" ? "invariants" : "properties"
} passed after ${runDetails.numRuns} runs.\n`
)
);
}
}
6 changes: 3 additions & 3 deletions property.ts
Original file line number Diff line number Diff line change
Expand Up @@ -197,7 +197,7 @@ export const checkProperties = (
if (discarded) {
radio.emit(
"logMessage",
` ${yellow("[WARN]")} ${dim(testCallerWallet)} ${
`${yellow("[WARN]")} ${dim(testCallerWallet)} ${
r.testContractId.split(".")[1]
} ${underline(r.selectedTestFunction.name)} ${dim(
printedTestFunctionArgs
Expand All @@ -219,7 +219,7 @@ export const checkProperties = (
) {
radio.emit(
"logMessage",
` ${green("[PASS]")} ${dim(testCallerWallet)} ${
`${green("[PASS]")} ${dim(testCallerWallet)} ${
r.testContractId.split(".")[1]
} ${underline(
r.selectedTestFunction.name
Expand All @@ -228,7 +228,7 @@ export const checkProperties = (
} else {
radio.emit(
"logMessage",
` ${red("[FAIL]")} ${dim(testCallerWallet)} ${
`${red("[FAIL]")} ${dim(testCallerWallet)} ${
r.testContractId.split(".")[1]
} ${underline(
r.selectedTestFunction.name
Expand Down

0 comments on commit 24cbd52

Please sign in to comment.