Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Improve output for :sat #117

Closed
yav opened this issue Oct 1, 2014 · 0 comments
Closed

Improve output for :sat #117

yav opened this issue Oct 1, 2014 · 0 comments
Labels
bug Something not working correctly low-hanging fruit For issues that should be easy to fix
Milestone
Cryptol 2.2

Comments

@yav
Copy link
Member

yav commented Oct 1, 2014

See issues/issue093. The current output looks like this:

property t0 t0 = True
property t1 t1 0x00000000 = True
property t2 t2 0x00000000 0x00000000 = True

The repeated property name is confusing.
@kiniry kiniry added the bug Something not working correctly label Dec 2, 2014
@kiniry kiniry added this to the Cryptol 2.2 milestone Dec 2, 2014
@acfoltzer acfoltzer added the low-hanging fruit For issues that should be easy to fix label Dec 9, 2014
acfoltzer pushed a commit that referenced this issue Feb 18, 2015
update (failing) test case for 0-based tuple index
deb6f62 
Between this and the fix for #117, this fixes #170
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something not working correctly low-hanging fruit For issues that should be easy to fix
Projects
None yet
Milestone
Cryptol 2.2
Development

No branches or pull requests
3 participants
@yav @acfoltzer @kiniry