XDiff.jl
XDiff.jl copied to clipboard
Self-consistency checks?
Just fixed a bug in eliminate_common
- one of many graph transformation subroutines that are deadly hard to debug. To discover issues with such utils we can add self-consistency checks. The simplest one is to evaluate graph before and after transformation and test if some invariants hold. The price for it is a prolonged derivative compilation and so should only be done if a debug
option/global var is set.