PK
Вот тут такой подход применён
https://github.com/petrkozorezov/raft_server/blob/master/test/property_test/raft_server_pt.erl
Size: a a a
PK
V
V
PK
JM
PK
Aß
V
SP
ML
SP
Input = {ok, 1, 2},
maybe
{ok, A, B} ?= Input,
{ok, B, C} ?= {ok, 1, B},
C
else
Other ->
...
end.
я так понял в Other будет {ok, 1, 2}? Как мне понять что оно не сматчилось на втором а не первом ?=? Или я не так понимаю юзкейс?ML
VS
PK
V
SP
maybe
{a, {ok, A, B}} ?= {a, Input},
{b, {ok, B, C}} ?= {b, {ok, 1, B}}
C
else ...
PK
V