Comments on: Gem #47: Safe and Secure Software : Chapter 9, Safe Communication http://libre.adacore.com/2008/10/06/gem-47/ AdaCore technology and news Mon, 06 Feb 2012 18:59:19 +0100 http://wordpress.org/?v=2.9 hourly 1 By: Christoph Grein http://libre.adacore.com/2008/10/06/gem-47/comment-page-1/#comment-2452 Christoph Grein Thu, 13 Nov 2008 06:58:30 +0000 http://www2.adacore.com/?p=2384#comment-2452 There's a mistake in the code: for Key use record Issued at 0 range 0 .. 31; Code at 1 range 0 .. 31; | should be 3 end record; Also mentioning the existence of pragma Volatile for The_Signal would be a good idea. There’s a mistake in the code:

for Key use record
Issued at 0 range 0 .. 31;
Code at 1 range 0 .. 31;
| should be 3
end record;

Also mentioning the existence of pragma Volatile for The_Signal would be a good idea.

]]>