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
- compression is the compression used (none, gz)
- 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. It can be useful to set it so that objects saving their state are sure to get correctly aligned structures. Default is 8 which is sufficient for most hosts.
- 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