diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-04-21 23:05:44 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-04-21 23:05:44 -0700 |
| commit | 5c44090283423c15016f7f0d2df85392ab85f67b (patch) | |
| tree | 54c462f0dc394a45b3ad03152e2d1cd107fcfa90 /Source/Provers/SMTLib/SMTLibLineariser.cs | |
| parent | 18720c60027f4c641c44e19f8f95dce51ce0e5ec (diff) | |
Changed label checking for goto targets in StmtList so that they can be any label in the current implementation.
Diffstat (limited to 'Source/Provers/SMTLib/SMTLibLineariser.cs')
0 files changed, 0 insertions, 0 deletions