Skip to content

#1138 BddUtils.bddToStates: prevent crash due to integer overflow.

Dennis Hendriks requested to merge 1138-bounded-response-check-throws-illegalargumentexception into develop
  • The bounded response check no longer crashes when bounded response doesn't hold and there are too many possible states where there is no bounded response. We already had a limit on the number of states we then print, but the calculation could result in integer overflow, which could lead to crashes. This has been fixed.

Closes #1138 (closed)

Merge request reports

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent