search

egraphs-good / eggcc

MIT License
51 stars 11 forks source link

[Tree assume] Print schema on test failure and `cargo run` #337

Closed rtjoa closed 9 months ago

rtjoa commented 9 months ago

Improve test debugging workflow by printing both schema and error on test failure, and printing schema on cargo run.

PR stack:

  1. 336

  2. 337

  3. 338

  4. 339