Tasks #166
Activities #150: SFEs - Small Functional Enhancements
Showing error and confirmation messages in Promela Plugin
| Estado: | Closed | Fecha de inicio: | 2012-07-04 | |
|---|---|---|---|---|
| Prioridad: | Normal | Fecha fin: | 2012-07-04 | |
| Asignado a: | Luis Valencia Cabrera | % Realizado: | 100% | |
| Categoría: | - | Tiempo estimado: | 2.00 horas | |
| Versión prevista: | - |
Descripción
It is necessary to alert the user if the plugin cannot get anything from Promela file. In addition, some message has to be showed to indicate that the proccess finished properly.
This functionality has been provided with the last version of Promela plugin.
Recurrences