search

aditink / algebraic_simplification_cesar

Egg Heuristics for algebraic simplification used by the CESAR tool.
GNU General Public License v2.0
2 stars 3 forks source link

Adding debug info to BasePass #6

Closed Ravneetsb closed 2 months ago

Ravneetsb commented 2 months ago

Adding print statements for debugging. Change the debug flag to true in config.rs to see the debug info. Changed runner to mut to be able to access explanation.