Add YAML `invariant_set` indices to widening tokens

Open sim642 opened this issue 1 year ago • 0 comments

Closes #1299.

The widening tokens are no longer just the YAML witness entry UUID, but also contain an optional index for invariant_sets.

Oct 09 '24 07:10 sim642