[erlang-questions] Proper/EQC parallel statem test question
Tue Dec 4 22:12:01 CET 2012
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  ?
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:
Process one: 
Process two: [
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.
P.S. This is an academic project, hence I am using Proper and can't
test if it behaves differently in full version EQC.
More information about the erlang-questions