search

sybila / parasim

Tool for paralell simulations and verification
GNU General Public License v3.0
3 stars 1 forks source link

can't set initial space bounds to number with more decimal points #111

Closed papousek closed 11 years ago

papousek commented 11 years ago

Steps to reproduce: try to set initial space bound to 0.00001

tomvej commented 11 years ago

5e5d771a59f3047c076323e8171eeb6d3de84209