rems-project / cn-tutorial

7 stars 8 forks source link

Example: reading a zero-initialized array #49

Closed samcowger closed 1 month ago

samcowger commented 1 month ago

I didn't see an example that showed me how to do this, and I think it's a valuable pattern to have around for reference. See the comments in the example for details.