Constraint-based Invariant checking does not work
Description
Environment
Mac
Attachments
1
- 31 May 2012, 07:47 AM
Gliffy Diagrams
Activity
Show:
Jenkins Build Server May 31, 2012 at 8:30 AM
Integrated in
ProB_TclTk_Linux #3830
fixed https://probjira.atlassian.net/browse/PROBPLUGIN-29#icft=PROBPLUGIN-29 (Revision 11146)
Result = SUCCESS
bendisposto :
Files :
/trunk/prolog/src/eclipse_interface.pl
When choosing the CBC invariant chekcing: event selection box pops up but nothing happens after clicking ok.