Skip to content

Add debug info for each simplification pass#230

Open
CatarinaGamboa wants to merge 3 commits into
mainfrom
debugg-simplification
Open

Add debug info for each simplification pass#230
CatarinaGamboa wants to merge 3 commits into
mainfrom
debugg-simplification

Conversation

@CatarinaGamboa
Copy link
Copy Markdown
Collaborator

Description

Added more information to the debug mode for the simplification passes.
Each pass shows a diff with highlighted changes, and at the end we split expressions by &&.

Example

image

Related Issue

[Reference any related issue]

Type of change

  • Bug fix
  • New feature
  • Documentation update
  • Code refactoring

Checklist

  • Added/updated tests under liquidjava-example/src/main/java/testSuite/ (Correct* / Error*)
  • mvn test passes locally
  • Updated docs/README if behavior or API changed

@CatarinaGamboa CatarinaGamboa changed the title add debug info for each simplification pass Add debug info for each simplification pass May 18, 2026
@CatarinaGamboa CatarinaGamboa requested a review from rcosta358 May 18, 2026 18:28
@CatarinaGamboa CatarinaGamboa force-pushed the debugg-simplification branch from f78456d to f6cd691 Compare May 18, 2026 19:14
Copy link
Copy Markdown
Collaborator

@rcosta358 rcosta358 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

lgtm

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