tree 2a183d0aa1be8821b84c71f78ccdfba239d6cfa4
parent 624e8dd3ae8c510f85929e5e17db8591e19e2fb6
author Ben Clayton <bclayton@google.com> 1700747859 +0000
committer Dawn LUCI CQ <dawn-scoped@luci-project-accounts.iam.gserviceaccount.com> 1700747859 +0000

[tools][gen] Validate includes to external libraries

Check that conditional external includes are correctly guarded.

Make the CNF logic smarter about expression reduction with assumed truths.

Change-Id: Icde6370be789037676a16625161b38704e96c48f
Reviewed-on: https://dawn-review.googlesource.com/c/dawn/+/162401
Commit-Queue: Ben Clayton <bclayton@google.com>
Kokoro: Kokoro <noreply+kokoro@google.com>
Reviewed-by: dan sinclair <dsinclair@chromium.org>