Skip to main content

made_again

Function made_again 

Source
pub fn made_again() -> usize
Expand description

How many times this thread has made a step’s constraints again at a state a solve tried (Remade::constraints), ever: what a solve’s work grows with, now that it runs no program for a state it tries, so a test can bound it by a count rather than time it.