ProB can store the values of constants and operations in a cache file. Compared to [Memoization_for_Functions|memoization for functions], this caching is persistant across different runs of probcli or ProB Tcl/Tk and is applicable to the constant setup and operations, not at the level of (constant) functions. (It thus may make sense to activate both of these features.)
In the command-line version probcli the cache can be activated using the option
This means that cache results will be stored in that directory.
The directory may contain multiple files, namely one file per B machine. The files contain a hash to detect whether they are still up-to-date.