Support common test suites using ct_slave

Question

Support common test suites using ct_slave

lrascao opened this issue 7 years ago · 4 comments

Some interesting projects could benefit greatly from Concuerror by it support ct_slave based tests, the one i'm interested here (i'm sure there are many others) is partisan, a peer membership service used in the Lasp project.

lrascao commented 6 years ago

agreed

Answer 1 · 2018-09-03T12:47:50.000Z

Hi @lrascao !

This issue has been on my 'wall of neglect and shame' for a while now. I believe it was motivated by a discussion after my tutorial in EUC 2017. I have lost context however, so I need help to update and review what can be done.

Is the gist here the ability to test distributed Erlang programs?

Answer 2 · 2018-09-03T12:53:22.000Z

Great memory, indeed it was!

Is the gist here the ability to test distributed Erlang programs?

That's exactly the use case that we discussed during the tutorial

Answer 3 · 2018-09-04T13:07:55.000Z

Given that Concuerror still has a very long way to go until it can handle any network/port related operations, I think that it is unlikely that I will try to add some easy integration with libraries such as ct_slave.

My suggestion for exploring races on distributed Erlang programs is to use a modeling library such as klarna/vnet (soon to be presented/published in the Erlang Workshop of ICFP 2018).

If there is no objection, I will close this ticket once the paper goes public (aronisstav#47).