| # -*- Mode: Python -*- | |
| # | |
| ## | |
| # = Record/replay | |
| ## | |
| { 'include': 'common.json' } | |
| ## | |
| # @ReplayMode: | |
| # | |
| # Mode of the replay subsystem. | |
| # | |
| # @none: normal execution mode. Replay or record are not enabled. | |
| # | |
| # @record: record mode. All non-deterministic data is written into the | |
| # replay log. | |
| # | |
| # @play: replay mode. Non-deterministic data required for system execution | |
| # is read from the log. | |
| # | |
| # Since: 2.5 | |
| ## | |
| { 'enum': 'ReplayMode', | |
| 'data': [ 'none', 'record', 'play' ] } |