couldn't check dead logic
4 views (last 30 days)
Show older comments
When I use design verifier for dead logic detection, the error is as follows(custom code analysis is checked):
Design Verifier has stubbed calls to custom code
Component:sldv | Category:Design Verifier compatibility warning
Simulink Design Verifier cannot analyze some C/C++ code in the custom code. Simulink Design Verifier internally stubs the portion of custom code that is not compatible.
Component:sldv | Category:Design Verifier compatibility warning
Building model representation failed: Unexpected Standard exception from MEX file. What() is:Assertion failed in CG IR: B:\matlab\toolbox\sldv\src\sldv\utils\DesignRangeTransformModelHelper.cpp line 35 ! In insertInput: Assertion failed: v3 ..
Component:simulink | Category:Design Verifier compatibility error
Simulink Design Verifier failed to initialize: 'shift_app' is incompatible for design error detection with Simulink Design Verifier.
1 Comment
Pat Canny
on 8 Jun 2022
Did you consult our documentation for "Support Limitations and Considerations for S-Functions and C/C++ Code"?
If this does not help address the issue, then I recommend contacting MathWorks Technical Support. It would be difficult to troubleshoot this within MATLAB Answers.
Thanks.
Simulink Design Verifier Product Manager
Answers (0)
See Also
Categories
Find more on Best Practices for Simulink Design Verifier Analysis in Help Center and File Exchange
Products
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!