Comments (3)
We cannot check the last image you added.
Is it possible to update your develop
branch with my latest changes and try your example again?
Before running the example, after updating the CoCoSim repo, please run in Matlab Command window:
install_cocosim_lib(1)
This will help update external CoCoSim libraries and remove some files.
To have the Matlab error, please run this in your Matlab Command window:
cocosim_debug = 1;
This will activate the debugging mode and give more details on the error.
from cocosim.
After dc0a106, I'm no longer getting the same errors. Thanks!
Oddly, I do get the same warnings (using the absolute.slx example):
Warning: Block diagram 'absolute_PP' contains disabled library links. Use Model Advisor to find the disabled links in non-library models. The diagram has been saved but may not contain what you intended.
Warning: Block diagram 'absolute_PP' contains disabled library links. Use Model Advisor to find the disabled links in non-library models. The diagram has been saved but may not contain what you intended.
Warning: Block diagram 'absolute_PP' contains disabled library links. Use Model Advisor to find the disabled links in non-library models. The diagram has been saved but may not contain what you intended.
Warning: Block diagram 'absolute_PP' contains disabled library links. Use Model Advisor to find the disabled links in non-library models. The diagram has been saved but may not contain what you intended.
I only get these warnings when I "Check Compatibility" AFTER I "Prove properties." It doesn't occur the FIRST time I "Check Compatibility".
from cocosim.
Thanks for checking.
Those warnings are fine. We disable library links to avoid some problems associated with block libraries' translation to Lustre.
I disabled warnings for this SaveWithDisabledLinksMsg in commit 70b8d02. It should fix the problem and you shouldn't get the same warnings anymore.
from cocosim.
Related Issues (12)
- Translation error: A Lustre node with 4 parameters is called with only 3 arguments HOT 1
- Cocosim install Problem HOT 22
- Prove properties HOT 10
- “depext unmet” during installation HOT 12
- distutils not found while installing cocosim on virtual machine HOT 8
- Python3 ? HOT 4
- False negative on norm(x) HOT 5
- Reorder function calls in install_cocosim_lib (develop branch) HOT 1
- Calls to Z3 from MATLAB fail HOT 4
- What is "CoCoSimSpecificationLibrary/Implies" used for? HOT 2
- Does CoCoSim support Matlab 2020B HOT 8
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from cocosim.