expect arg1 arg2 [-v]
If values arg1 and arg2 are not equal the simulator will print them and exit with error exit(1). -v prints the two values before comparing them.
This can be useful when writing scripts that want to assert a state in the simulator.
Simics Core