<String-OracleInfo>: | the absolute path for where the oracle information (expected state) is, you can either generate yourself or download from OracleInfo.zip | ||||||||||||
<String-ActualState>: | the absolute path for where the actual state is | ||||||||||||
<String-LogFolder>: |
|
Example:
Verifier c:\TerpPaint\OracleInfo\Random\3.orc c:\TerpPaint\ReplayState\Mutant59\Random\3.rst c:\TerpPaint\Logs\Mutant59\Random