Skip to content
GitLab
Commit d3e3ed28 authored by Matthew Fernandez's avatar Matthew Fernandez
Browse files

use symmetry schedules to print scalarset values more friendly 

We still need to implement the same for array indices.

Github: related to #194 "clearer CEX output with scalarsets"
parent 1927d80a
Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment