3.7.2. exit()

void exit()

Exit Model Debugger.

Copyright © 2007-2011 ARM. All rights reserved.ARM DUI 0371J
Non-ConfidentialID051712