vm is slow
shashankgoudp opened this issue · comments
Shashank Goud commented
May be beacause of large size of VM, it is running slow
Manav Verma commented
Will try to reduce the VM size. Thanks!
PSPWizard: Machine-assisted Definition of Temporal Logical Properties with Specification Patterns
http://www.ict.swin.edu.au/personal/mlumpe/PSPWizard/index.html
shashankgoudp opened this issue · comments
May be beacause of large size of VM, it is running slow
Will try to reduce the VM size. Thanks!