conjure-cp / conjure-oxide

Mozilla Public License 2.0
8 stars 16 forks source link

Nicer rule traces #451

Open niklasdewally opened 2 hours ago

niklasdewally commented 2 hours ago

as rule traces if you could produce something of the style I used above that would be the easiest for me to follow/debug

something like

expr1

~~> rulename
expr2

~~> rulename
expr3

Originally posted by @ozgurakgun in https://github.com/conjure-cp/conjure-oxide/issues/450#issuecomment-2479710164

ozgurakgun commented 2 hours ago

thanks for capturing this.

moreover it would be great if this was saved and checked against (just in plain text form) for each integration test.