diff options
| author |  wuestholz <unknown> | 2015-01-30 12:52:21 +0100 |
|---|---|---|
| committer | wuestholz <unknown> | 2015-01-30 12:52:21 +0100 |
| commit | 994fdafa5e496c007e78274093f7b02fa2e8dd06 (patch) | |
| tree | 8a9247151dcf4e9d51101ffdbea81ed463eb8ab3 /Source/VCGeneration/ConditionGeneration.cs | |
| parent | 400c69b10f9b7e6abd0fe9518a0d8be5508bf093 (diff) | |
Minor change to the encoding of partially verified assertions as VC
Diffstat (limited to 'Source/VCGeneration/ConditionGeneration.cs')
0 files changed, 0 insertions, 0 deletions