3.2.12. saveState()

void saveState(string modelStateFileName)

Save a state of a model currently being debugged to the .model_state file specified by modelStateFileName.

Copyright © 2007-2010 ARM. All rights reserved.ARM DUI 0371I
Non-ConfidentialID051811