Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
cc12740c
Commit
cc12740c
authored
May 18, 2015
by
MARCHE Claude
Browse files
new bug : prefix (<>) not parsed correctly
parent
e4d6cdcb
Changes
2
Hide whitespace changes
Inline
Side-by-side
ROADMAP
View file @
cc12740c
...
...
@@ -155,9 +155,9 @@ Release Notes (details in file CHANGES):
== TODO ==
* fix (<>) not allowed as prefix form
* fix
bug 18953 :
(<>) not allowed as prefix form
*
support for tuple types in detect_polymorphism
?
*
finalize detect_polymorphism. Allow polymorphic tuples (supported by SMT
?
)
* integrate server feature done by Johannes
...
...
examples/bts/18953.why
0 → 100644
View file @
cc12740c
theory T
use import int.Int
constant x:int
goal g1 : (=) x 42
goal g2 : (<) x 42
goal g3 : (>) x 42
goal g4 : (<=) x 42
goal g5 : (>=) x 42
goal g6 : (<>) x 42
end
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment