state-assertion-receive state-assertion-simple-record
Simics Reference Manual  /  3 Commands  /  3.2 Command List  / 

state-assertion-simple-assert

Synopsis

state-assertion-simple-assert [file] ["compression"] [post_event]

Description

This command asserts the current run against the file. You just have to run 'c' afterwards to begin the assertion process.

- file is the file to read the configuration from, default is the temporary file created by state-assertion starting commands
- compression is the compression used on the file (none, gz), default is a guess based on file name
- post_event tells state-assertion that sender posts events for comparing, default is true.

Provided By

state-assertion
state-assertion-receive state-assertion-simple-record