mirror of
https://github.com/hanzoai/bot-formal-models.git
synced 2026-10-30 18:46:45 +00:00
11 lines
165 B
INI
11 lines
165 B
INI
SPECIFICATION Spec
|
|
INVARIANT Inv_BothDeliveredEmitted
|
|
|
|
CONSTANTS
|
|
Event1 = "e1"
|
|
Event2 = "e2"
|
|
EventId1 = ""
|
|
EventId2 = ""
|
|
TraceId1 = "t1"
|
|
TraceId2 = "t2"
|