GUI - Load parsed function loading PRISM output

xhajnal / DiPS

Multiple properties Probabilistic systems Model checker

BSD 3-Clause "New" or "Revised" License

4 stars 1 forks source link

Closed xhajnal closed 4 years ago

xhajnal commented 4 years ago

this function could read first lines and it the txt file is PRISM output handle it to that parser instead

xhajnal commented 4 years ago

done in 4e09537fa74b2d859fea5e7dbefb290ffb9a3dc1