Closed fferreira closed 2 years ago
(*) This is a C4 violation example global Borked(role A, role B) { choice { A() from A to B; } or { inf { B() from A to B; } } }
(*) This is a C4 violation example
global Borked(role A, role B) { choice { A() from A to B; } or { inf { B() from A to B; } } }
Generates the wrong state machine
Generates the wrong state machine