Redis

If you'd like to use Redis for state serialization (instead of disk), install Redis using your host package manager, then install Manticore with [redis] appended to the name of the package:

pip install manticore[redis]

Note that this does not make Manticore use Redis automatically. You'll still have to manually set the workspace to the Redis URI.