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 12 years ago
- Description updated (diff)