Debugging randomization fails using simulator tools.
This document describes different approaches to debug constraint failures or subtle randomization mistakes from the command line.
How to create a python script for regression?
During the verification process, It is very common to run many tests. In order to simulate each one of them you need to execute different test files separately. In case there is a significant amount of tests that have to be performed, this process can easily be extremely time-consuming.