diff options
| author |  Michal Moskal <michal@moskal.me> | 2011-09-26 17:30:05 -0700 |
|---|---|---|
| committer | Michal Moskal <michal@moskal.me> | 2011-09-26 17:30:05 -0700 |
| commit | 3925750a1b2145ebd81bea338b33898e61ef10f7 (patch) | |
| tree | 8b3c12cf68036b92246f8c4cfb0b7169ae49258b /Test/test0/Quoting.bpl | |
| parent | 9dc8e1c990bcb92e7992041f17dd9e0bb88f1b21 (diff) | |
Name the constant used in @MV_state function applications - otherwise we get invalid Z3 files
Diffstat (limited to 'Test/test0/Quoting.bpl')
0 files changed, 0 insertions, 0 deletions