[UX]: Generated cache files aren't Git-ignorable

[kapple19]

What happened?

Some @checks generate a cache file with no common file naming design to make it .gitignoreable.

How could this be communicated better?

Maybe a supposition_jl_* prefix, or define a new, unique extension for the file?
I couldn't find anything in the documentation about it.

Julia Version

Julia v1.11.0-rc3.

Package Environment

Supposition v0.3.5.

[Seelengrab]

Hmm the default should place those history files in a directory called SuppositionDB, which should be possible to add to .gitignore 🤔 Do you have an example where it doesn't?

[kapple19]

Oh I see.
Yeah it's placing it in the test directory:

Would you like a link to the branch with this?

[Seelengrab]

Hmm that's interesting - yes definitely! How are you running those tests? ]test should create the SuppositionDB directory.

[kapple19]

Hmm, I have them in scripts called with @safetestsets from SafeTestsets.jl. I'll try to produce the supposition files without the safe test sets and get back to you.

[Seelengrab]

Do you have an update on this?

[kapple19]

I don't have the original reproduction of this issue. How do I get a @check to produce a database record? I can't figure it out from the documentation.

[Seelengrab]

It should happen automatically when your property fails.