diff options
| author |  Mike Barnett <mbarnett@microsoft.com> | 2011-10-31 13:04:13 -0700 |
|---|---|---|
| committer | Mike Barnett <mbarnett@microsoft.com> | 2011-10-31 13:04:13 -0700 |
| commit | 36be8fc06b5d08fcf023a9b095a9ee948afcb94d (patch) | |
| tree | 01f6ec85d3a99738e9050e29faa63062b5d26e71 /BCT/RegressionTests | |
| parent | 16a9a020f90b1702eabf32a667960b5748bfe0b5 (diff) | |
Fixed the generation of names for datatype functions to use the API for
getting SMT-approved names.
Fixed a bug in VisitDistinctOp where a bad axiom was being generated when
no grouping had more than one occurrence.
Diffstat (limited to 'BCT/RegressionTests')
0 files changed, 0 insertions, 0 deletions