[Spec] Possible Specification Violation

[ChristineZh0u]

Hi, I ran checks the P models and found a spec violation in model DataStorage, test case tcThreeClientsWriteNoFailure.
The violation error is: Assertion Failed: PSrc/StorageService.p:2169:9 ChunkReplica(30): writeOp.offset:4 + writeOp.length:2 < sizeof(content):0. It only happens on checks that are using unfair strategy where some transitions or processes are always blocked.

I have attached the output folder to this issue. You can reproduce the spec violation with the commands here.

BugFinding_DataStorage_ tcThreeClientsWriteNoFailure.zip