Skip to content
Commit 5d37edbe authored by Marek Chalupa's avatar Marek Chalupa
Browse files

kind: implement more efficient induction step 

Do not execute the paths that cannot reach assert.
However, due to comparison and debugging, keep also
the original code.
parent 0ed2f88b
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment