diff options
| author |  Unknown <mbarnett@MBARNETT-LAP2.redmond.corp.microsoft.com> | 2011-04-28 13:18:03 -0700 |
|---|---|---|
| committer | Unknown <mbarnett@MBARNETT-LAP2.redmond.corp.microsoft.com> | 2011-04-28 13:18:03 -0700 |
| commit | 196dfe4a2c9c003f682399a08ecd9eb7c830c718 (patch) | |
| tree | d61dda7294452809fb128c60062746675fc9b6db /BCT/Samples/CodeCounter/codecounter.suo | |
| parent | ce854d6791a888ebf65bea3c45f2eed15ece609e (diff) | |
Add a method to the Sink that is responsible for creating a Boogie expression
representing the default value for a type. All clients that need to create
a default value should use this.
Diffstat (limited to 'BCT/Samples/CodeCounter/codecounter.suo')
| -rw-r--r-- | BCT/Samples/CodeCounter/codecounter.suo | bin | 29696 -> 30208 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/BCT/Samples/CodeCounter/codecounter.suo b/BCT/Samples/CodeCounter/codecounter.suo Binary files differindex ef01e0e8..74d31951 100644 --- a/BCT/Samples/CodeCounter/codecounter.suo +++ b/BCT/Samples/CodeCounter/codecounter.suo |