Tasks #178
Activities #149: MD - Main development
Tasks #155: Plugins development
Promela plugin update
| Status: | Closed | Start date: | 07/13/2012 | |
|---|---|---|---|---|
| Priority: | Normal | Due date: | 07/17/2012 | |
| Assignee: | Luis Valencia Cabrera | % Done: | 100% | |
| Category: | - | Estimated time: | 15.00 hours | |
| Target version: | - |
Description
Promela plugin updated to cover all the process from the .pli file to the running of spin.
The plugin and its associated properties file are available in this URL.
Recurrences
History
#1 Updated by Luis Valencia Cabrera over 13 years ago
- Description updated (diff)