search

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker
BSD 3-Clause "New" or "Revised" License
4 stars 1 forks source link

space legends #86

Closed xhajnal closed 3 years ago

xhajnal commented 3 years ago

When running refinement followed by sampling the legend show only sat,unsat, skipping refinement.

xhajnal commented 3 years ago

fixed in 759cb063c53c044205a7188b4ece27bb8f923690