Erlang -> transitions

start verification with 2 clients

verify:allruns(locker_sup,start,[2])

locker.erl

client.erl

locker_sup.erl

client_sup.erl

instantiation

Föregående bild Nästa bild Tillbaka till första bilden Visa grafisk version