mbeddr/mbeddr.formal

safety.gsn: Cannot connect strategy to goal

ccarlan opened this issue · 1 comments

ccarlan commented

It works now