For each node type in top.sls, check that
highstate is successfully reached (no errors).
This includes Linux and Mac OS X machines.