Skip to content
Snippets Groups Projects
Commit 645fe132 authored by Kia's avatar Kia
Browse files

make it work in general case with non-unitary bit widths. also k-induction... 

make it work in general case with non-unitary bit widths. also k-induction doesn't require more than 1 step!
parent 24d6c807
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