McSCert/Reach-Coreach

Problem with "Undefined function or variable 'gcbs'"

Closed this issue · 2 comments

Hello! When I was using the tool, I found an error,"Undefined function or variable 'gcbs'",as shown below.
error eval
Undefined function or variable 'gcbs'。

sl_customization>RCRReachCallback (line 71)
eval([bdroot(gcs) '_reachCoreachObject.reachAll(gcbs, gcls);']);
I wonder if a configuration is missing or something else?

Do you have the Simulink Utility downloaded and on your Matlab path? The gcbs function is provided by this utility here. Please read the User Guide as it mentions this dependency in Section 2.1, item 3.

Thank you,it works.