When installing SMACKd into a fresh Eclipse install, after I enter the SMACKd URL, I am offered two choices:
- Smack'd Verification Tools with Smack'd version 2.0.0
- SMACKd Verification Tools with SMACKd version 2.0.1
I suspect that the first choice should be removed.
When installing SMACKd into a fresh Eclipse install, after I enter the SMACKd URL, I am offered two choices:
I suspect that the first choice should be removed.