protocol: Added missing criterion.options
This commit is contained in:
parent
f0fe1f8bac
commit
f86714cbb1
1 changed files with 8 additions and 0 deletions
8
src/protocol/criterion.options
Normal file
8
src/protocol/criterion.options
Normal file
|
@ -0,0 +1,8 @@
|
|||
criterion.protocol.assert.message type : FT_POINTER
|
||||
criterion.protocol.assert.file type : FT_POINTER
|
||||
criterion.protocol.log.message type : FT_POINTER
|
||||
criterion.protocol.birth.name type : FT_POINTER
|
||||
criterion.protocol.phase.name type : FT_POINTER
|
||||
criterion.protocol.phase.message type : FT_POINTER
|
||||
criterion.protocol.ack.message type : FT_POINTER
|
||||
criterion.protocol.msg.uid type : FT_POINTER
|
Loading…
Add table
Reference in a new issue