diff options
| author |  MichalMoskal <unknown> | 2011-04-02 01:05:31 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2011-04-02 01:05:31 +0000 |
| commit | 32fe52ad799e68b6d1531b1cef81910b7b20424d (patch) | |
| tree | 173121846a21bb1e1e6cff079b95b4b93800956d /BCT/BCT.vsmdi | |
| parent | 206566c8843b00478355c0bd3d1cc3400e8b112b (diff) | |
Use new, SMT2 compliant, Z3 syntax for labels
Diffstat (limited to 'BCT/BCT.vsmdi')
0 files changed, 0 insertions, 0 deletions