Skip to content
GitLab
Commit 85ff3bf7 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 c1cd8d28
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