[erlang-questions] How to mimic Erlang nodes in PropEr statem test

Nyirő Gergő <>
Fri Jan 25 21:24:15 CET 2019


Hi Stavros,

thanks for the references looks interesting.
ConcuError was already on my learning plan, I will try with it.

Regards,
Gergő

On Fri, Jan 25, 2019 at 2:46 PM Stavros Aronis <> wrote:
> before summer I was involved in writing a library for simulating
> distributed Erlang systems on a single node:
> https://github.com/klarna/vnet
>
> Perhaps you may find some ideas from there useful. You can read a
> paper about it (published in Erlang '18) by following the "Modelling
> Distributed Erlang within a Single Node" link in
> https://concuerror.com/publications (indirect link given to avoid ACMs
> access restrictions).
>
> An (admittedly poorly documented) example of its use (also discussed
> in the paper) is available here:
> https://github.com/klarna/vnet/tree/master/test/counter_server_example


More information about the erlang-questions mailing list