Debugging randomization fails using simulator tools.

This document describes different approaches to debug constraint failures or subtle randomization mistakes from the command line.
This document describes different approaches to debug constraint failures or subtle randomization mistakes from the command line.