* Uses GMP library to dump a string version of the remaining state space size. * This number is typically very large (e.g. 10^20) which is why we use GMP instead of a long. * Note: this function may not work on some Linux machines. */
source not stored for this graph (policy: none)
nothing calls this directly
no outgoing calls
no test coverage detected