bbe9333af5
Rationale: The output for output divergences is too lenghty to report (and should be reproducable anyway). However, for any other divergence, we want to have a better clue on what went wrong, since this may indicate an infrastructure problem that is harder to reproduce. Change-Id: I20e14a753048406fad6cbd55a270bf6958920915 Reviewed-on: https://dart-review.googlesource.com/c/86000 Reviewed-by: Alexander Thomas <athom@google.com> Commit-Queue: Aart Bik <ajcbik@google.com>