Tasks #178
Actualizado por Luis Valencia Cabrera hace casi 13 años
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":http://www.gcn.us.es/redmine/projects/mecosimreleases/dmsf?folder_id=59. URL":http://www.gcn.us.es/redmine/dmsf/mecosimreleases?folder_id=59.
The plugin and its associated properties file are available in "this URL":http://www.gcn.us.es/redmine/projects/mecosimreleases/dmsf?folder_id=59. URL":http://www.gcn.us.es/redmine/dmsf/mecosimreleases?folder_id=59.