Redis

If you'd like to use redis for state serialization (instead of disk), install redis using your host package manager, then install manticore as above, but with [redis] appended to the name of the package, e.g.

pip install manticore[redis]

Note that this does not make manticore use redis automatically, and you'll still have to manually set the workspace to the redis URI.