Usage:
Verifier <String-OracleInfo> <String-ActualState> <String-LogFolder>

<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>:
absolute folder name for where you want to save the generated (match or mismatch) files.
Under the folder, there might be files called oracle_error.log, rst_error.log, diff.log, nodiff.log, and mismatch.xml
oracle_error.logstore absolute path for the oracle information which can't be parsed
rst_error.logstore absolute path for the actual state which can't be parsed
diff.logstore absolute path for both the oracle information and the actual state which are mismatched
nodiff.logstore absolute path for both the oracle information and the actual state which are matched
mismatch.xmlstore the exact mismatched value

Example:
Verifier c:\TerpPaint\OracleInfo\Random\3.orc c:\TerpPaint\ReplayState\Mutant59\Random\3.rst c:\TerpPaint\Logs\Mutant59\Random