Closed plafer closed 3 months ago
Closes #286
I opted to expand the scope of the current Air::evaluate_aux_transition() and Air::get_aux_assertions() instead of creating new methods (as suggested in the issue), since it ended up being much cleaner.
Air::evaluate_aux_transition()
Air::get_aux_assertions()
Closes #286
I opted to expand the scope of the current
Air::evaluate_aux_transition()
andAir::get_aux_assertions()
instead of creating new methods (as suggested in the issue), since it ended up being much cleaner.