issues
search
loonwerks
/
AGREE
Assume-Guarantee REasoning Environment
BSD 3-Clause "New" or "Revised" License
13
stars
5
forks
source link
Issue 80 npe in named el validation
#85
Closed
kfhoech
closed
2 years ago
kfhoech
commented
2 years ago
Resolves #80
Fix NPE by checking that named elements have non-null name before comparing with other names
Adds validation that raises info message for unnamed specification statements and recommends naming them
Updates tests by adding names to specification statements such that there are no raised issues
Resolves #80