※上記の広告は60日以上更新のないWIKIに表示されています。更新することで広告が下部へ移動します。

「Promelaメモ2」の編集履歴(バックアップ)一覧はこちら

Promelaメモ2」の最新版変更点

追加された行は青色になります。

削除された行は赤色になります。

 ----
 いつも確認したくなること
 ----
+その1
 初期化しないと0が入る
 #highlight(linenumber,promela){{bit n1;
 bool n2;
 byte n3;
 short n4;
 int n5;
 mtype n6;
 
 active proctype P1(){
   printf("bit:%d\n", n1);
   printf("bool:%d\n", n2);
   printf("byte:%d\n", n3);
   printf("short:%d\n", n4);
   printf("int:%d\n", n5);
   printf("mtype:%d\n", n6);
 } }}
 
 結果($spinオプションなし)
 #aa(blockquote){{      bit:0
       bool:0
       byte:0
       short:0
       int:0
       mtype:0
 1 process created }}