Merge pull request #1288 from YosysHQ/eddie/fix_1284
authorEddie Hung <eddie@fpgeh.com>
Tue, 13 Aug 2019 16:06:11 +0000 (09:06 -0700)
committerGitHub <noreply@github.com>
Tue, 13 Aug 2019 16:06:11 +0000 (09:06 -0700)
commit19d6b8846f55b4c7be705619f753bec86deadac8
tree25282a84ce8be23f15ce5a4ad9e93277b1c0b61b
parent78b30bbb1102047585d1a2eac89b1c7f5ca7344e
parente4a09715814d4fa9019c69d2305973030755c379
Merge pull request #1288 from YosysHQ/eddie/fix_1284

Since $_ANDNOT_ is not symmetric, do not sort leaves