diff options
| author |  Mike Barnett <mbarnett@microsoft.com> | 2011-08-04 15:58:22 -0700 |
|---|---|---|
| committer | Mike Barnett <mbarnett@microsoft.com> | 2011-08-04 15:58:22 -0700 |
| commit | 77be9230424c612d445152e7b2067652521afcb5 (patch) | |
| tree | a996172bbbd8effb0d50d5b41bc93f56dc55575a /BCT/BytecodeTranslator/BytecodeTranslator.csproj | |
| parent | 0447fc2f8fd68426766d3f339f7744f6353eb17f (diff) | |
Added new option /captureState (/c) for generating a capture state assumption
after each statement.
Diffstat (limited to 'BCT/BytecodeTranslator/BytecodeTranslator.csproj')
0 files changed, 0 insertions, 0 deletions