search

mgudemann / iimc

Other
11 stars 6 forks source link

fixed division-by-zero in case of an empty model. #7

Closed hriener closed 6 years ago

hriener commented 6 years ago

The commit fixes a potential division-by-zero in case modelSize = 0.

The problem is triggered, e.g., when the CTL property AG( false ) is checked.

mgudemann commented 6 years ago

@hriener thanks for your PR!