Redis
Dan Guido edited this page Dec 22, 2017
·
2 revisions
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.