senier

package Alt is

   type Alt_Cond is (Alt_B => 1, Alt_C => 2) with Size => 8;

   generic
   session FSM is
      Alt_Cond : Alt_Cond;
   begin
      state Init is
      begin

senier

hikey960 boarid:5301 xloader use UART6
scsysstat_value[0].
clear reset source
last_keypoint0,reboot_type0
secdbg not DCU.
SecDbgVer exit

 xloader chipid is: 0x36600110, start at 331ms.
Build Date: Sep 19 2017, 15:34:09
[clock_init] ++

senier

export PATH=/usr/local/gnat/bin:/usr/local/spark/bin:/usr/local/gps/bin:${PATH}
export PS1='\[\033[01;34m\]\w\[\033[00m\] \[\033[01;31m\]Ada\[\033[00m\]> '

senier

obj

senier

project Build
is
   for Languages use ("C++", "Ada");
   for Create_Missing_Dirs use "True";
   for Source_Dirs use (".");
   for Object_Dir use "obj";
   for Exec_Dir use ".";
   for Main use ("main.adb");
end Build;

senier

package body Slice_Postcon
is
   
   function Check_Proto (Data : Data_Type) return Boolean
   is
   begin
      if Data (Data'First) = 'X'
      then
         pragma Assume (Is_Proto (Data (Data'First + 1 .. Data'Last)));
         return True;