state-assertion-create-file state-assertion-receive
Simics Reference Manual  /  3 Commands  /  3.2 Command List  / 

state-assertion-open-file

Synopsis

state-assertion-open-file file ["compression"] ["name"] [post_events]

Description

Open a state assertion file to compare with the current execution.

- file is the name of the file to be created, default is /tmp/state-assertion-$USER.gz
- compression is the compression used (none, gz), default is a guess based on file name
- name is the name of the object to be created, default is saX where X is a number.
- post_events tells state-assertion to post events by itself for recording and comparing, default is true.

Provided By

state-assertion
state-assertion-create-file state-assertion-receive