Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
BSD 3-Clause "New" or "Revised" License
248
stars
144
forks
source link
corrections to serial_io facilities #409
Closed
pat-rogers closed 2 years ago
demo-*: use Unchecked_Access in these specific demos
serial_io-blocking.ads: correct postcondition on procedure Receive so that empty content is handled properly
serial_io-nonblocking.ads: add postconditions to procedure Receive