PropEr should use `printer`. about proper HOT 2 OPEN

While cleaning and testing the on_output code of PropEr, I've noticed similar things (direct uses of io:format and friends) but never the "f" prints. These happen only when doing parallel stateful testing at a specific place in proper_statem's code, and from some cursory glance in that code they may be there to indicate some special/unusual case which may require user attention.

It may be worthwhile to have some test case that shows these fffs so that we see whether there is some other code refactoring that is needed in proper_statem instead of just io:format -> print.

from proper.

@kostis yeah, those "other things" I was working on (mentioned in the original post) was my work stuff that uses parallel statem testing. Those "f"s are not important. They were just a thing which debugging led me to discover that PropEr uses io:format in some cases, so I wouldn't go as far as writing a tests to force "f"s.

About the solution. If I'm not mistaken, all those io:formats are used in generators where on_output option is not available, so replacing them will require either a gen_server or some other way of handling a global config (maybe a parameter could be used here). Though, you mentioned something about ongoing work on parallelization of PropEr which might collide together.

from proper.