No pending runs

NLSparx doesn't have any runs pending verification.