mirror of
https://github.com/hanzoai/bot-formal-models.git
synced 2026-11-02 07:29:17 +00:00
12 lines
184 B
INI
12 lines
184 B
INI
SPECIFICATION Spec
|
|
INVARIANT Inv_CorrectTracePerEvent
|
|
|
|
CONSTANTS
|
|
Provider = "discord"
|
|
Event1 = "e1"
|
|
Event2 = "e2"
|
|
Trace1 = "t1"
|
|
Trace2 = "t2"
|
|
NumParts1 = 2
|
|
NumParts2 = 2
|