Sorts for program schema variables have inconsistent names

[wadoon]

This issue was created at git.key-project.org where the discussions are preserved.

---

• Mantis: MT-654
• Submitted on: 2005-11-19 by (at)pruemmer
• Updated: 2006-07-06

Description

The sort "JavaBooleanExpression" is a restriction of "Expression", the sort "JavaByteExpression" (and similar sorts) is a restriction of "SimpleExpression". One of the names should be changed, probably the second one; otherwise, this cannot be explained in the key book, it's too embarrassing ;-)

Files

History

• (at)pruemmer -- (NEW_BUG) 2005-11-19

• (at)klebanov -- (NORMAL_TYPE) 2006-07-06

Attributes

• Category: Prover Core
• Status: NEW
• Severity: MAJOR
• OS:
• Target Version:
• Resolution: OPEN
• Priority: NORMAL
• Reproducibility: ALWAYS
• Platform:
• Commit: None
• Build: 0.1909
• Tags []
• Labels: ~Prover Core ~Bug ~NORMAL

---

View in Mantis

---

Information:

• created_at: 2017-05-29T02:33:17.902Z
• updated_at: 2017-05-29T02:44:14.428Z
• closed_at: None (closed_by: )
• milestone:
• user_notes_count: 0