mirror of
https://github.com/hanzoai/bot-formal-models.git
synced 2026-10-30 18:46:45 +00:00
12 lines
521 B
Plaintext
12 lines
521 B
Plaintext
------------------------------ MODULE ClawdbotSecurity ------------------------------
|
|
EXTENDS ClawdbotSecurityCore
|
|
|
|
(******************************************************************************
|
|
* Scenario entrypoint.
|
|
*
|
|
* For now, this is identical to Core: it exists so users can run TLC with a
|
|
* single stable module name, while we refactor internals freely.
|
|
******************************************************************************)
|
|
|
|
=============================================================================
|