k0kubun/sandal — pull request #1 by k0kubun (2014-11-02 11:16:10+00:00)
Title: Fault definition for send/recv statement

## Example

```go
fault @omission send(ch channel { bool }, val int) {
// do nothing
}

proc SendProc(ch channel { bool }) {
send(ch, 1) @omission
}
```

WORK IN PROGRESS