TestDriver assertions