Cancelling the ML prover during interactive proof

Brought to you by: cfsnook, gverdier, idiras321, lvoisin, tshoang

#147 Cancelling the ML prover during interactive proof

Status: closed-fixed

Owner: Laurent Voisin

Labels: Event-B prover (138)

Priority: 5

Updated: 2008-04-09

Created: 2007-10-24

Creator: Farhad Mehta

Private: No

Cancelling the ML prover during interactive proof seems not to be working properly. The progress window remains well after ML has been cancelled.

Farhad

Discussion

Laurent Voisin - 2008-04-09

Logged In: YES
user_id=1041912
Originator: NO

This has been fixed by adding a wrapper around the Logic Solver process.

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

Laurent Voisin - 2008-04-09

status: open --> closed-fixed
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.