A/G: Assumption-Guarantee Reasoning does not work
To reproduce:
- open attached example
- Open component architecture
- Open A/G-Reasoning-Dialog
- Select ‘Component’ and press ‘heck selected component’
Error Message occcurs
I assume, it is a bug
(from redmine: issue id 2376, created on 2015-07-14, closed on 2015-08-07)
- Uploads: