diff options
author | Clark Barrett <barrett@cs.stanford.edu> | 2016-11-28 13:54:02 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-28 13:54:02 -0800 |
commit | bc2378517a2f4100ba614cd44b3aa047089c82c8 (patch) | |
tree | f04b70bf848eea734570ea6e25256b62e3e5e1db /test/regress/regress0/cvc3.userdoc.03.cvc | |
parent | 92d78a10ac24962efad4daf240acf5c5fb265a59 (diff) | |
parent | c0c424283c12cfce2874ea92188487d91acecdf3 (diff) |
Merge pull request #112 from 4tXJ7f/fix_mult_distrib
Fix `MultDistrib` rewrite rule
Diffstat (limited to 'test/regress/regress0/cvc3.userdoc.03.cvc')
0 files changed, 0 insertions, 0 deletions