InlineConfigurations'' is disabled. The generated code may require an external VHDL configuration declaration in order to be fully elaborated in third-party tools.
hdlmodelchecker