-
Notifications
You must be signed in to change notification settings - Fork 3
Description
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,
runUnitTests
Running testCombinedControl
Time step: 1
Starting parallel pool (parpool) using the 'Processes' profile ...
Connected to parallel pool with 8 workers.
.
Done testCombinedControl
Running testConformantSynthesis
.
Error occurred in testConformantSynthesis/TestLinearConformanceChecking and it did not run to completion.
---------
Error ID:
---------
'CORA:wrongInputInConstructor'
--------------
Error Details:
--------------
Error using linearSys>aux_checkInputArgs
Wrong input arguments for constructor of class: linearSys
Column dimension of output matrix C must match row/column dimension of state matrix A.
Type 'help linearSys' for more information.
Error in linearSys (line 92)
aux_checkInputArgs(name,A,B,c,C,D,k,nargin);
Error in conformantSynthesisLinear>discreteTimeSystem (line 231)
sys = linearSysDT(linearSys(A,[B,D],[],c),dt);
Error in conformantSynthesisLinear (line 150)
[A_,B_,D_,c_] = discreteTimeSystem(A,B,D,c,dt);
Error in conformantSynthesis (line 119)
[W,V] = conformantSynthesisLinear(A,B,D,c,measurements,Opts);
Error in testConformantSynthesis (line 116)
[W,V] = conformantSynthesis('platoon',M,Opts);
================================================================================
.
Done testConformantSynthesis