Skip to content
GitLab
Commit 0d57a277 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 6927c4e9
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