Crashing on stateful tests about proper

[eiriniar]

Hello,

We might need some more information in order to reproduce the error.
Because, for example, if we replace the tutorial's stop function (in the movie_server module) with the following:

handle_call(stop, From, S) ->
%% {stop, normal, stopped, S}.
gen_server:reply(From, stopped),
{stop, normal, S}.

PropEr still runs the tests smoothly. An exception is raised in case we omit the gen_server:reply/2 call, but this is expected since the server terminates while the client awaits for a reply to the synchronous call.

[kostis]

Any chance we will get some more info on this issue or should we consider it as resolved by now?

[kostis]

It has been almost a year now since this issue (#22) was open and we still have not received any information how to reproduce this error. I'll leave it open for about a week more and I'll close this issue if we do not hear anything.

[kostis]

No reply from the original sender, so I am closing this now.