state-assertion-connect state-assertion-open-file
Simics Reference Manual  /  3 Commands  /  3.2 Command List  / 

state-assertion-create-file

Synopsis

state-assertion-create-file file ["compression"] ["name"] [align] [post_events]

Description

This command creates a state assertion file.

- 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.
- align is the alignment of the structures inside the file, default is 8. It can be useful to set it so that objects saving their state are sure to get correctly aligned structures.
- post_events tells state-assertion to post events by itself for recording and comparing, default is true.

Provided By

state-assertion
state-assertion-connect state-assertion-open-file