xhajnal / DiPS

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

resolve how to produce perfomance tests after a change automatically #6

Open xhajnal opened 5 years ago

xhajnal commented 5 years ago

not to be fully solved until #8, now inside notebook -- see 22caea2baf48a9b79a046660cfbf304c8f7121ef

xhajnal commented 5 years ago

Commits to run tests:

hsb19 version -- bfd80bde9420444be87ff8677861f6ac3bdd04be parsing only once -- 22caea2baf48a9b79a046660cfbf304c8f7121ef (currently running) alg4 added BUT all alg refactored -- ccd3ef75dd326ae1a04fa9829ab7f30c669baf2c

iterative method -- to be tested after implemented for all algorithms

xhajnal commented 5 years ago

probably blocked by #12

tatjanapetrov commented 5 years ago

not imporant, in my opinion

xhajnal commented 5 years ago

not imporant, in my opinion

the thing of the issue is to have also an automatised test by means of one-click running (running each setting separately in the notebook), to run it when a change appears in the core is a simple git hook.