search

seL4 / seL4_libs

No-assurance libraries for rapid-prototyping of seL4 apps.
https://docs.sel4.systems
Other
52 stars 62 forks source link

libsel4simple-default: Don't assert return pointers #12

Closed gnustomp closed 5 years ago

gnustomp commented 5 years ago

It is valid for these pointers to be NULL. They are checked anyway, so remove them from the assert.

gnustomp commented 5 years ago

Moving this to Bitbucket.