search

loonwerks / formal-methods-workbench

Other
20 stars 7 forks source link

small fix to ToolCheck for correctly reading in tool output from CASE… #18

Closed iamundson closed 5 years ago

iamundson commented 5 years ago

… preferences. eventually, these preferences should really be part of ToolCheck instead of the Architecture plugin