diff options
author | Dejan Jovanović <dejan@cs.nyu.edu> | 2014-11-19 22:42:31 -0500 |
---|---|---|
committer | Dejan Jovanović <dejan@cs.nyu.edu> | 2014-11-19 22:42:31 -0500 |
commit | 2984c25a1b2ab36f5e3c6298c6ba99c0701c7141 (patch) | |
tree | 153bf42ab5da4c709fbf1ece708eaa82f75d36da /test/regress/regress0/distinct.smt | |
parent | 363dc9881a3b249978eec76c7c2b77eb2ef459ea (diff) |
Making construction of trigger sets not use the global engine state.
Diffstat (limited to 'test/regress/regress0/distinct.smt')
0 files changed, 0 insertions, 0 deletions