Skip to content

Conversation

aSemy
Copy link
Contributor

@aSemy aSemy commented Jul 20, 2024

  • Print the failure message in a single println() to avoid splitting the message.
  • Directly create a string, and avoid creating intermediate lists.

The actual message content has not changed. This PR only affects how the string is built.

Split out from #4183

- Print the failure message in a single `println()` to avoid splitting the message.
- Directly create a string, and avoid creating intermediate lists.
@aSemy aSemy changed the title Tidy 'Property test failed for inputs' message Tidy building 'Property test failed for inputs' message Jul 20, 2024
@aSemy aSemy marked this pull request as ready for review July 20, 2024 10:34
@sksamuel sksamuel enabled auto-merge July 20, 2024 10:35
@sksamuel sksamuel added this pull request to the merge queue Jul 20, 2024
Merged via the queue into master with commit c6a05e9 Jul 20, 2024
7 checks passed
@sksamuel sksamuel deleted the adam/feat/tidy-pbt-failure-message branch July 20, 2024 11:43
@aSemy aSemy mentioned this pull request Jul 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants