Specification of the read function
ID0001939: This issue was created automatically from Mantis Issue 1939. Further discussion may take place here.
|Kernel > libc
|Fixed in Version
I think it would be useful to have a specification of common libc functions included with Frama-C (instead of repeating them in many projects), so I started with one for the read function.
I think it's complete, but I am still new to ACSL, so correct me if I'm wrong.
Please find attached the diff to the Neon version.