Myślałem, że nadszedł czas, aby wypróbować FsCheck, ale okazuje się trudniejsze niż myślałem. Istnieje wiele dokumentacji na temat Arb, generatorów i tak dalej, ale nie ma żadnych wskazówek, jak zasto
Załóżmy, że mam tej klasy: case class Receipt(id: Long, state: String) {
def transitionTo(newState: String) = {
if (!canTransitionTo(newState)) {
throw new IllegalStateExcetion(s"cant