Kostas Dermentzis
Kostas Dermentzis
As @stevana mentioned > Regarding visualisation: perhaps it's easier to use/read graphviz (dot) instead of ASCII? > > Examples: > > Jepsen: https://github.com/jepsen-io/knossos/blob/master/README.md#visualization-of-faults > Molly: https://gist.github.com/cstorey/38d2ba04f661a7ed727d76cd47d6b40e#file-lamport-svg we can use dot...
I think this is a very common issue many users face: Since q-s-m is used to test monadic code, it's possible that there is some interference between consecutive tests, or...
Dot is already used to print parallel programs. I think with small tweaks it can become available for sequential programs.
tests print things like ``` AnnotateC "Read" (PredicateC (1 :/= 2)) PostconditionFailed "AnnotateC \"Read\" (PredicateC (6 :/= 5))" /= Ok ``` which may not be very helpful, or just hard...
At the moment `runParallelCommandsNTimes` and `prettyParallelCommands` return a passing Result even when there is some thrown exception on semantics. Maybe we should discuss which should be the default behaviour. Also...
I'm working on a pr which tries to capture information from the execution of a list of Commands, in order to make shrinking faster. Note that QuickCheck does not support...
We're looking for a query which extracts the stake distribution from the `set snapshot` in fixed size slices. This would look something like ``` startIndex -> resultSize -> LedgerState ->...
I was trying to implement an optimization for shrinking and I may need a bit of feedback. The idea is the following: running a test for a random element can...
In the EPOCH transition for Conway, the enacted and expired proposals refund the active stake addresses. It would be nice to have a ledger event with the ids of these...
It's one epoch before it's actually retired. This should be fixed and the rollback should be adjusted.