Open JiyuanTHU opened 1 year ago
Apologies for the late reply. That's a little bit of a weird error you got when running "testConformantSynthesis". My best guess would be that there is a compatibility issue with the CORA toolbox. Did you install CORA 2022 using the .zip file on the website (https://cora.in.tum.de), or did you install it from the GitHub Repository (https://github.com/TUMcps/CORA)? My recommendation is to install CORA 2022 from the .zip file on the website, because on the repository updates and bugfixes for CORA are published from time to time which could potentially interfere with the AROC toolbox. Another potential cause for the error could be that the "Symbolic Math" MATLAB toolbox is not installed.
The CORA 2022 and ACADO are successfully installed withnot test failures. However, the AROC test can not pass with 13/18 cases failure. Would you please help my installing?
The running log is attached as follows,
Running testConformantSynthesis .
Error occurred in testConformantSynthesis/TestLinearConformanceChecking and it did not run to completion.
================================================================================ . Done testConformantSynthesis