MATLAB: Simulink Design Verifier has an unexpected internal error when running model compatibility check in R2017b, how to avoid it

Simulink Design Verifier

I am trying to use Simulink DV for test generation, but I have an error when checking the model compatibility with the following stack trace

b:\matlab\toolbox\sldv\src\sldv\translator\transform\misctransforms.cpp:685: Assert : canBeSafelyRemoved, Lhs of Init should not be used in the local scope

[ 0] 0x00000004cba5c44d bin\win64\sldv.dll+02409549 QueryMLFcnTable_sldv+01140925

[ 1] 0x00000004cba5b979 bin\win64\sldv.dll+02406777 QueryMLFcnTable_sldv+01138153

[ 2] 0x00000004cb8980ce bin\win64\sldv.dll+00557262 sldv_mexFunction+00000286

[ 3] 0x00000000fc5fd8c9 bin\win64\libmex.dll+00121033 mexRunMexFile+00000313

[ 4] 0x00000000fc5fc4f2 bin\win64\libmex.dll+00115954 mexFeature_mexver+00002130

[ 5] 0x00000000fc5fb306 bin\win64\libmex.dll+00111366 mexUnlock+00023430

[ 6] 0x0000000015ad44d4 bin\win64\pgo\m_dispatcher.dll+00017620 Mfh_file::dispatch_fh_impl+00000820

[ 7] 0x0000000015ad4126 bin\win64\pgo\m_dispatcher.dll+00016678 Mfh_file::dispatch_fh_with_reuse+00000062

[ 8] 0x00000000167aa61c bin\win64\pgo\m_lxe.dll+00108060

[ 9] 0x0000000016905f83 bin\win64\pgo\m_lxe.dll+01531779 boost::archive::detail::iserializer > >::load_object_data+00029587

[ 10] 0x00000000169033d5 bin\win64\pgo\m_lxe.dll+01520597 boost::archive::detail::iserializer > >::load_object_data+0001840

How do I avoid this error?

Best Answer

Please refer to the following bug report for workarounds and fixes:

https://www.mathworks.com/support/bugreports/1627106

Related Solutions

MATLAB: Is the AUTOSAR model crashing with std::terminate() in autosar::BlockMapping or autosar::ModelMapping

MATLAB might crash with the following stack trace when working with an Simulink AUTOSAR model.

If you experience this crash and can reproduce the issue, please comment below or contact < MathWorks Technical Support>:

[  0] 0x000000001084b2c3                              bin\win64\libmwfl.dll+00045763 foundation::core::diag::thread_context::unspecified_bool+00000051
[  1] 0x0000000010849288                              bin\win64\libmwfl.dll+00037512 foundation::core::diag::stacktrace_base::capture+00000024
[  2] 0x000000001084e750                              bin\win64\libmwfl.dll+00059216 foundation::core::diag::symbols::getSymbolAddress+00012656
[  3] 0x000000001085299f                              bin\win64\libmwfl.dll+00076191 foundation::core::diag::is_terminate_message_enabled+00000607
[  4] 0x00000000174f4604                                  bin\win64\mcr.dll+01132036 mcr::shutdown::startWatchdog+00037076
[  5] 0x00000000174f3c77                                  bin\win64\mcr.dll+01129591 mcr::shutdown::startWatchdog+00034631
[  6] 0x00000000174ef4a0                                  bin\win64\mcr.dll+01111200 mcr::shutdown::startWatchdog+00016240
[  7] 0x00000000174f5b16                                  bin\win64\mcr.dll+01137430 mnSetSegvServiceUrl+00000214
[  8] 0x00007ffd90ab4b10 C:\Program Files\MATLAB\R2019a\bin\win64\VCRUNTIME140.dll+00019216 purecall+00000048
[  9] 0x00000002e03ad881                           bin\win64\sl_autosar.dll+00645249 autosar::CompositionModelMapping::getRoot+00081601
[ 10] 0x00000000f81a5cbd                  bin\win64\libmwsl_services_mi.dll+00089277 sl::mi::PropInfo::getValue+00000029
[ 11] 0x000000013c638802                          bin\win64\sl_loadsave.dll+01935362 slsWriteObject+00000578
[ 12] 0x000000002855003e                        bin\win64\pgo\mcos_impl.dll+00458814
[ 13] 0x000000002854b589                        bin\win64\pgo\mcos_impl.dll+00439689
[ 14] 0x000000013c63840c                          bin\win64\sl_loadsave.dll+01934348 slsWriteCOSObject+00003612
[ 15] 0x000000013c637333                          bin\win64\sl_loadsave.dll+01930035 slsWriteCOSArray+00000243
[ 16] 0x00000002931c1815                 bin\win64\sl_graphical_classes.dll+06297621 slWritePrmDesc+00000261
[ 17] 0x000000015936a1db                    bin\win64\sl_prm_descriptor.dll+00106971 SLCOSPrmDesc::bdWrite_Impl+00000187
[ 18] 0x00000002931c17c0                 bin\win64\sl_graphical_classes.dll+06297536 slWritePrmDesc+00000176
[ 19] 0x00000002931c1672                 bin\win64\sl_graphical_classes.dll+06297202 PrmDescBDWriteBlock+00000146
[ 20] 0x0000000293207323                 bin\win64\sl_graphical_classes.dll+06583075 BlockParamGroup::saveOneParameter+00000083
[ 21] 0x00000002931b5035                 bin\win64\sl_graphical_classes.dll+06246453 slBasicParamGroup::doSave+00000149
[ 22] 0x0000000293207297                 bin\win64\sl_graphical_classes.dll+06582935 BlockParamGroup::save+00000135
[ 23] 0x0000000292c4a03a                 bin\win64\sl_graphical_classes.dll+00565306 slParamGroup::saveAll+00000042
[ 24] 0x00000002b981aef8                        bin\win64\libmwsimulink.dll+08957688 slSave::WriteBlockDiagram+00009720
[ 25] 0x00000002b981ac27                        bin\win64\libmwsimulink.dll+08956967 slSave::WriteBlockDiagram+00008999
[ 26] 0x00000002b981ec2e                        bin\win64\libmwsimulink.dll+08973358 slSave::WriteBlockDiagram+00025390
[ 27] 0x00000002b981adde                        bin\win64\libmwsimulink.dll+08957406 slSave::WriteBlockDiagram+00009438
[ 28] 0x00000002b981ec2e                        bin\win64\libmwsimulink.dll+08973358 slSave::WriteBlockDiagram+00025390
[ 29] 0x00000002b981adde                        bin\win64\libmwsimulink.dll+08957406 slSave::WriteBlockDiagram+00009438
[ 30] 0x00000002b981ec2e                        bin\win64\libmwsimulink.dll+08973358 slSave::WriteBlockDiagram+00025390
[ 31] 0x00000002b981a259                        bin\win64\libmwsimulink.dll+08954457 slSave::WriteBlockDiagram+00006489
[ 32] 0x00000002b98190f5                        bin\win64\libmwsimulink.dll+08950005 slSave::WriteBlockDiagram+00002037
[ 33] 0x00000002b9818938                        bin\win64\libmwsimulink.dll+08948024 slSave::WriteBlockDiagram+00000056
[ 34] 0x00000002b981fbd6                        bin\win64\libmwsimulink.dll+08977366 slSave::WriteBlockDiagram+00029398
[ 35] 0x0000000292dc1606                 bin\win64\sl_graphical_classes.dll+02102790 SLXSinglePartHandler::doSave+00000246
[ 36] 0x0000000292dc1411                 bin\win64\sl_graphical_classes.dll+02102289 slBlockDiagramMatData::writeMDL+00015553
[ 37] 0x0000000292dc263e                 bin\win64\sl_graphical_classes.dll+02106942 SLXPartHandler::getSaveOptions+00001150
[ 38] 0x00000000285370d0                        bin\win64\pgo\mcos_impl.dll+00356560
[ 39] 0x0000000028536872                        bin\win64\pgo\mcos_impl.dll+00354418
[ 40] 0x000000002853596b                        bin\win64\pgo\mcos_impl.dll+00350571
[ 41] 0x0000000028569636                        bin\win64\pgo\mcos_impl.dll+00562742
[ 42] 0x0000000028599e0c                        bin\win64\pgo\mcos_impl.dll+00761356
[ 43] 0x000000002879d35d                        bin\win64\pgo\mcos_impl.dll+02872157 mwboost::serialization::singleton_module::unlock+01547437
[ 44] 0x00000000287a6f45                        bin\win64\pgo\mcos_impl.dll+02912069 mwboost::serialization::singleton_module::unlock+01587349
[ 45] 0x0000000014bd37f5                                 bin\win64\mcos.dll+00145397 omDirectCallMethod+00000069
[ 46] 0x000000001b80966a                 bin\win64\pgo\libmwlxeindexing.dll+00366186 MathWorks::lxe::MatrixModuleImplementation::SetHeterogeneousArray+00014714
[ 47] 0x000000001b88bdea                 bin\win64\pgo\libmwlxeindexing.dll+00900586 MathWorks::lxe::assign_paren_shared_xvalue_ptr_uninitialized_to_struct+00006850
[ 48] 0x000000001b7bfc7f                 bin\win64\pgo\libmwlxeindexing.dll+00064639 MathWorks::lxe::at_rbrace_nargout+00002559
[ 49] 0x000000001b7bfc7f                 bin\win64\pgo\libmwlxeindexing.dll+00064639 MathWorks::lxe::at_rbrace_nargout+00002559
[ 50] 0x000000001b7f99ac                 bin\win64\pgo\libmwlxeindexing.dll+00301484 mwboost::serialization::singleton_module::unlock+00026324

MATLAB: Does MATLAB crash when trying to execute a Python script with “execfile” function

The observed crash is a known Python bug in Python versions which support the "execfile" function. The reason for this bug seems to be because of the optional second parameter of the "execfile" function being empty. Please refer to the following link for the Python bug report:

https://bugs.python.org/issue21563

One of the workarounds to avoid the crash is to add a dummy variable as a second parameter to "execfile" function. It can be done by changing the command to execute the Python file from:

>> py.execfile('foo.py')  % foo.py can be any python script

>> py.execfile('foo.py',struct) % foo.py can be any python script

where the second parameter "struct" creates an empty struct variable and we pass it to the "execfile" function to avoid the crash. Since the bug is in the Python source code, kindly follow the bug report link above for updates related to the bug.

Best Answer

Related Solutions

MATLAB: Is the AUTOSAR model crashing with std::terminate() in autosar::BlockMapping or autosar::ModelMapping

MATLAB: Does MATLAB crash when trying to execute a Python script with “execfile” function

Related Question