passing toplevel tests, better resolution failure output