PropCheck runs property checking as part of ExUnit test and stores counter examples of failing properties in order to reapply them in the next test run.

The file name for the counter examples can be configured in mix.exs in the project configuration as

propcheck: [counter_example: "filename"]

With mix propcheck.inspect you can inspect the found counter examples, with mix propcheck.clean the file is deleted afterwards.