TUMcps / CORA

Toolbox for Reachability Analysis
GNU General Public License v3.0
108 stars 35 forks source link

Update find.m #35

Closed vivid04 closed 2 years ago

vivid04 commented 2 years ago

In the original code val = interval(time); 'time' is an undefined variable! This is a bug, I assume time should be replaced by 'val';

wetzlingerm commented 2 years ago

Thanks for catching this bug!