Corral produces trace for sdvdefectviewer directly

[shuvendu-lahiri]

Creating a feature request to let Corral dump out a trace in the defect.tt format for sdvdefectviewer.

[shuvendu-lahiri]

Adding a test case:

pretty.bpl.txt

Run with:

corral.exe /recursionBound:4 /k:1 /main:CorralEntry_AdminValidatorSet /tryCTrace pretty.bpl /printDataValues:1 /track:owners_Admin /track:alreadyVotedToAdd_Admin /track:alreadyVotedToRemove_Admin /track:adminMap_AdminSet /track:isValidator_SimpleValidatorSet /track:latestChange_adminOwner_SimpleValidatorSet

[akashlal]

I've added a flag /tryCTrace:sdv that will dump the trace in sdv format. For now, it will not match calls and returns. The returned format is correct and it parses with sdvdefect but somehow the code doesn't render for me. Perhaps you can give it a try. Via feae4bd