RODIN / Bugs / #743 Error while running tool (Automatic Proof Obligation Manager)

#743 Error while running tool (Automatic Proof Obligation Manager)

Milestone: 3.1

Status: closed-invalid

Owner: nobody

Labels: None

Priority: 8

Updated: 2015-05-19

Created: 2015-03-25

Creator: Luis Diaz

Private: No

Next exceptions happen when try to open some of the proof obligations:

"Rodin Database Exception: Core Exception [code 0] Error type-checking statically checked predicate in SEQHYQ"

Discussion

Laurent Voisin - 2015-05-19

Without a way to reproduce this bug, we cannot fix it.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Laurent Voisin - 2015-05-19

status: open --> closed-invalid
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.