HomePhabricator

[MSSA] Add domination number verifier; NFC

Description

[MSSA] Add domination number verifier; NFC

It's easy for domination numbers to get out-of-date, and this is no more
costly than any of the other verifiers we already have, so it seems nice
to have.

A stage3 build with this Works On My Machine, so this hasn't caught any
bugs... yet. :)

Details

Committed
gbivJun 24 2018, 10:30 PM
Parents
rL335443: One more build fix for non MSVC compilers.
Branches
Unknown
Tags
Unknown