Add support for module variables of type bool

hlsyounes / ymer

Probabilistic model checker

GNU General Public License v2.0

5 stars 1 forks source link

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

For example, see PRISM cluster.sm model.

Original issue reported on code.google.com by hlsyou...@gmail.com on 29 Nov 2014 at 3:24

GoogleCodeExporter commented 9 years ago

This issue was closed by revision r391.

Original comment by hlsyou...@gmail.com on 9 Dec 2014 at 12:24