Summary
There is a class org.osate.aadl2.instantiation.CheckInstanceSemanticsSwitch that used to run additional checks after model instantiation. Currently most code is commented out. Review the code and decide which checks are still needed/useful and should be enabled.
Desktop (please complete the following information):
- OSATE Version: 2.17.0
- Operating System: all
Summary
There is a class org.osate.aadl2.instantiation.CheckInstanceSemanticsSwitch that used to run additional checks after model instantiation. Currently most code is commented out. Review the code and decide which checks are still needed/useful and should be enabled.
Desktop (please complete the following information):