[erlang-questions] Proper/EQC parallel statem test question

[Gleb Peregud]

Hi list!

Does postcondition of the statem test has to be a pure function? Is it
OK to do a request to a processe of the tested system from
postcondition like I do here [1] ?

This becomes a problem for me when running degenerated parallel test
where commands seems to be run in a single process, while
postcondition is being checked in another test. Example:

Sequential part:
[actor_up(v01),
actor_up(v02)]

Parallel part:
Process one: []
Process two: [
 actor_search(v01),
 actor_search(v02)]

So essentially it is still a sequential test, since only one of the
two parallel testers is running any code. But due to postconditions of
actor_search operation being run in yet another process (probably main
test process) they are getting mixed up.

Thanks!
Gleb

P.S. This is an academic project, hence I am using Proper and can't
test if it behaves differently in full version EQC.

1: https://github.com/gleber/dstree/blob/master/test/dstree_statem.erl#L129