3.2.16. setStateFile()

void setStateFile(string stateFileName)

Specify the .model_state file that is saved with your Model Debugger session. This state is used if you use the saveSession() command with the saveModelState parameter equal to true. By default, the session name is used.

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