Skip to content

Instantly share code, notes, and snippets.

@cyang-el

cyang-el/break.cfg

Created April 7, 2025 21:00
Show Gist options
  • Save cyang-el/6c711b5537187fa806663ef8ff12e5ef to your computer and use it in GitHub Desktop.
Save cyang-el/6c711b5537187fa806663ef8ff12e5ef to your computer and use it in GitHub Desktop.
Download ZIP

Revisions

  1. cyang-el created this gist Apr 7, 2025.
    23 changes: 23 additions & 0 deletions break.cfg
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,23 @@
    SPECIFICATION Spec

    CONSTANTS
    C = {c1, c2, c3}
    Srv = {s1}
    DB = {d1}
    MaxID = 10
    SrvCap = 1
    ProcTime = 4
    ReqRate = 1
    SrvTO = 5

    PROPERTIES
    AllReqHandled
    SomeReqTO
    SrvsOverload

    INVARIANTS
    TypeOK
    TOThreshold

    CONSTRAINT
    Constr