... | ... | @@ -27,7 +27,7 @@ module nullnet(channel c) { |
|
|
}
|
|
|
```
|
|
|
|
|
|
We see that no type defintions are found in the scope (which results in 0 rpcs) for the rpc's scope, which results in termination Wof the program. Need to see how we traverse from scope to scope during the ccst generation process. hile it is true rpcs do not exist in the parent scope of the require statement, it does exist inside the projection scope. Why are we not being able to pick that up??
|
|
|
* We see that no type definitions are found in the scope (which results in 0 rpcs) for the rpc's scope, which results in termination Wof the program. Need to see how we traverse from scope to scope during the ccst generation process. hile it is true rpcs do not exist in the parent scope of the require statement, it does exist inside the projection scope. Why are we not being able to pick that up??
|
|
|
|
|
|
### 2. <a name="issue-2"></a> Does not detect an rpc, when require is put.
|
|
|
|
... | ... | |