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

Check diff(f, 2, x) behavior in SMT #554

Closed
latot opened this issue Sep 15, 2016 · 1 comment
Closed

Check diff(f, 2, x) behavior in SMT #554

latot opened this issue Sep 15, 2016 · 1 comment

Comments

@latot
Copy link
Contributor

latot commented Sep 15, 2016 •
edited
Loading

Hi, well actually this format don't is documented in SMT, so when we can check this we can remove or keep this feature from diff.

Related commit: #552

Exp of the problem: #523

Cya.
@cbm755
Copy link
Collaborator

cbm755 commented Jan 21, 2017

Still supported in 2015b. I guess no hurry for us to to remove that feature. (anywhere there are notes next to the tests for it documenting it for the future.)

@cbm755 cbm755 closed this as completed Jan 21, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@cbm755 @latot