ba5166bd84
If this variable is unset, Scyther writes into /tmp/Scyther-cache (or similar). If this variable is set to "", caching is disabled. Otherwise, Scyther writes into $SCYTHERCACHEDIR/Scyther-cache |
||
---|---|---|
.. | ||
__init__.py | ||
.gitignore | ||
Attack.py | ||
Claim.py | ||
Error.py | ||
Misc.py | ||
Scyther.py | ||
Term.py | ||
Trace.py | ||
XMLReader.py |