Skip to content

Commit

Permalink
make MDPs follow "label" file syntax
Browse files Browse the repository at this point in the history
  • Loading branch information
@emuskardin
emuskardin committed Mar 19, 2024
1 parent b419a65 commit 6a43236
Show file tree
Hide file tree
Showing 7 changed files with 6,536 additions and 6,536 deletions.
180 changes: 90 additions & 90 deletions DotModels/MDPs/bluetooth.dot
View file
Original file line number Diff line number Diff line change
@@ -1,93 +1,93 @@
digraph "CC2640R2-no-feature-req-stochastic" {
0 [label=___start___];
s00 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_REJECT_IND];
s01 [label=crash];
s02 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP];
s03 [label=no_response];
s04 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP];
s10 [label=BTLE_BTLE_DATA];
s11 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP];
s12 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP];
s13 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_REJECT_IND];
s20 [label=BTLE_BTLE_DATA];
s21 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP];
s22 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP];
s23 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_REJECT_IND];
s30 [label=BTLE_BTLE_DATA];
s31 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_REJECT_IND];
s32 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP];
s33 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_VERSION_IND];
s34 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP];
s40 [label=BTLE_BTLE_DATA];
s41 [label=ATT_Exchange_MTU_Request_ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_CTRL_BTLE_DATA_L2CAP_CmdHdr_L2CAP_Connection_Parameter_Update_Request_L2CAP_Hdr_LL_LENGTH_REQ];
s42 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP];
s43 [label=ATT_Exchange_MTU_Request_ATT_Hdr_BTLE_BTLE_CTRL_BTLE_DATA_L2CAP_CmdHdr_L2CAP_Connection_Parameter_Update_Request_L2CAP_Hdr_LL_LENGTH_REQ];
s44 [label=ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_DATA_L2CAP_Hdr];
s45 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP];
s50 [label=BTLE_BTLE_DATA];
s51 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_REJECT_IND];
s52 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP];
s53 [label=ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_DATA_L2CAP_Hdr];
s54 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP];
s60 [label=BTLE_BTLE_DATA];
s61 [label=ATT_Exchange_MTU_Request_ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_CTRL_BTLE_DATA_L2CAP_CmdHdr_L2CAP_Connection_Parameter_Update_Request_L2CAP_Hdr_LL_LENGTH_REQ];
s62 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP];
s63 [label=ATT_Exchange_MTU_Request_ATT_Hdr_BTLE_BTLE_CTRL_BTLE_DATA_L2CAP_CmdHdr_L2CAP_Connection_Parameter_Update_Request_L2CAP_Hdr_LL_LENGTH_REQ];
s64 [label=ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_DATA_L2CAP_Hdr];
s65 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_VERSION_IND];
s66 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP];
s70 [label=BTLE_BTLE_DATA];
s71 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_REJECT_IND];
s72 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP];
s73 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_VERSION_IND];
s74 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP];
s80 [label=BTLE_BTLE_DATA];
s81 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP];
s82 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP];
s90 [label=BTLE_BTLE_DATA];
s91 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_REJECT_IND];
s92 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP];
s93 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_VERSION_IND];
s94 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP];
s100 [label=BTLE_BTLE_DATA];
s101 [label=BTLE_BTLE_DATA_L2CAP_Hdr_SM_Hdr_SM_Pairing_Response];
s102 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP];
s103 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP];
s104 [label=ATT_Exchange_MTU_Request_ATT_Hdr_BTLE_BTLE_CTRL_BTLE_DATA_L2CAP_CmdHdr_L2CAP_Connection_Parameter_Update_Request_L2CAP_Hdr_LL_LENGTH_REQ_SM_Hdr_SM_Pairing_Response];
s105 [label=ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_DATA_L2CAP_Hdr];
s106 [label=ATT_Exchange_MTU_Request_ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_CTRL_BTLE_DATA_L2CAP_CmdHdr_L2CAP_Connection_Parameter_Update_Request_L2CAP_Hdr_LL_LENGTH_REQ_SM_Hdr_SM_Pairing_Response];
s110 [label=BTLE_BTLE_DATA];
s111 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_REJECT_IND];
s112 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP];
s113 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_VERSION_IND];
s114 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP];
s120 [label=BTLE_BTLE_DATA];
s121 [label=BTLE_BTLE_DATA_L2CAP_Hdr_SM_Hdr_SM_Pairing_Response];
s122 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP];
s123 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP];
s124 [label=ATT_Exchange_MTU_Request_ATT_Hdr_BTLE_BTLE_CTRL_BTLE_DATA_L2CAP_CmdHdr_L2CAP_Connection_Parameter_Update_Request_L2CAP_Hdr_LL_LENGTH_REQ_SM_Hdr_SM_Pairing_Response];
s125 [label=ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_DATA_L2CAP_Hdr];
s126 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_VERSION_IND];
s127 [label=ATT_Exchange_MTU_Request_ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_CTRL_BTLE_DATA_L2CAP_CmdHdr_L2CAP_Connection_Parameter_Update_Request_L2CAP_Hdr_LL_LENGTH_REQ_SM_Hdr_SM_Pairing_Response];
s130 [label=BTLE_BTLE_DATA];
s131 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_REJECT_IND];
s132 [label=BTLE_BTLE_DATA_L2CAP_Hdr_SM_Hdr_SM_Pairing_Response];
s133 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP];
s134 [label=ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_DATA_L2CAP_Hdr];
s135 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP];
s140 [label=BTLE_BTLE_DATA];
s141 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_REJECT_IND];
s142 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP];
s143 [label=ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_DATA_L2CAP_Hdr];
s144 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_VERSION_IND];
s145 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP];
s150 [label=BTLE_BTLE_DATA];
s151 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_REJECT_IND];
s152 [label=BTLE_BTLE_DATA_L2CAP_Hdr_SM_Hdr_SM_Pairing_Response];
s153 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP];
s154 [label=ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_DATA_L2CAP_Hdr];
s155 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_VERSION_IND];
s156 [label=BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP];
digraph bluetooth {
0 [label="___start___"];
s00 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_REJECT_IND"];
s01 [label="crash"];
s02 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP"];
s03 [label="no_response"];
s04 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP"];
s10 [label="BTLE_BTLE_DATA"];
s11 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP"];
s12 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP"];
s13 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_REJECT_IND"];
s20 [label="BTLE_BTLE_DATA"];
s21 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP"];
s22 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP"];
s23 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_REJECT_IND"];
s30 [label="BTLE_BTLE_DATA"];
s31 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_REJECT_IND"];
s32 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP"];
s33 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_VERSION_IND"];
s34 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP"];
s40 [label="BTLE_BTLE_DATA"];
s41 [label="ATT_Exchange_MTU_Request_ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_CTRL_BTLE_DATA_L2CAP_CmdHdr_L2CAP_Connection_Parameter_Update_Request_L2CAP_Hdr_LL_LENGTH_REQ"];
s42 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP"];
s43 [label="ATT_Exchange_MTU_Request_ATT_Hdr_BTLE_BTLE_CTRL_BTLE_DATA_L2CAP_CmdHdr_L2CAP_Connection_Parameter_Update_Request_L2CAP_Hdr_LL_LENGTH_REQ"];
s44 [label="ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_DATA_L2CAP_Hdr"];
s45 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP"];
s50 [label="BTLE_BTLE_DATA"];
s51 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_REJECT_IND"];
s52 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP"];
s53 [label="ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_DATA_L2CAP_Hdr"];
s54 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP"];
s60 [label="BTLE_BTLE_DATA"];
s61 [label="ATT_Exchange_MTU_Request_ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_CTRL_BTLE_DATA_L2CAP_CmdHdr_L2CAP_Connection_Parameter_Update_Request_L2CAP_Hdr_LL_LENGTH_REQ"];
s62 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP"];
s63 [label="ATT_Exchange_MTU_Request_ATT_Hdr_BTLE_BTLE_CTRL_BTLE_DATA_L2CAP_CmdHdr_L2CAP_Connection_Parameter_Update_Request_L2CAP_Hdr_LL_LENGTH_REQ"];
s64 [label="ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_DATA_L2CAP_Hdr"];
s65 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_VERSION_IND"];
s66 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP"];
s70 [label="BTLE_BTLE_DATA"];
s71 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_REJECT_IND"];
s72 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP"];
s73 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_VERSION_IND"];
s74 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP"];
s80 [label="BTLE_BTLE_DATA"];
s81 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP"];
s82 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP"];
s90 [label="BTLE_BTLE_DATA"];
s91 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_REJECT_IND"];
s92 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP"];
s93 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_VERSION_IND"];
s94 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP"];
s100 [label="BTLE_BTLE_DATA"];
s101 [label="BTLE_BTLE_DATA_L2CAP_Hdr_SM_Hdr_SM_Pairing_Response"];
s102 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP"];
s103 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP"];
s104 [label="ATT_Exchange_MTU_Request_ATT_Hdr_BTLE_BTLE_CTRL_BTLE_DATA_L2CAP_CmdHdr_L2CAP_Connection_Parameter_Update_Request_L2CAP_Hdr_LL_LENGTH_REQ_SM_Hdr_SM_Pairing_Response"];
s105 [label="ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_DATA_L2CAP_Hdr"];
s106 [label="ATT_Exchange_MTU_Request_ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_CTRL_BTLE_DATA_L2CAP_CmdHdr_L2CAP_Connection_Parameter_Update_Request_L2CAP_Hdr_LL_LENGTH_REQ_SM_Hdr_SM_Pairing_Response"];
s110 [label="BTLE_BTLE_DATA"];
s111 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_REJECT_IND"];
s112 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP"];
s113 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_VERSION_IND"];
s114 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP"];
s120 [label="BTLE_BTLE_DATA"];
s121 [label="BTLE_BTLE_DATA_L2CAP_Hdr_SM_Hdr_SM_Pairing_Response"];
s122 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP"];
s123 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP"];
s124 [label="ATT_Exchange_MTU_Request_ATT_Hdr_BTLE_BTLE_CTRL_BTLE_DATA_L2CAP_CmdHdr_L2CAP_Connection_Parameter_Update_Request_L2CAP_Hdr_LL_LENGTH_REQ_SM_Hdr_SM_Pairing_Response"];
s125 [label="ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_DATA_L2CAP_Hdr"];
s126 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_VERSION_IND"];
s127 [label="ATT_Exchange_MTU_Request_ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_CTRL_BTLE_DATA_L2CAP_CmdHdr_L2CAP_Connection_Parameter_Update_Request_L2CAP_Hdr_LL_LENGTH_REQ_SM_Hdr_SM_Pairing_Response"];
s130 [label="BTLE_BTLE_DATA"];
s131 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_REJECT_IND"];
s132 [label="BTLE_BTLE_DATA_L2CAP_Hdr_SM_Hdr_SM_Pairing_Response"];
s133 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP"];
s134 [label="ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_DATA_L2CAP_Hdr"];
s135 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP"];
s140 [label="BTLE_BTLE_DATA"];
s141 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_REJECT_IND"];
s142 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP"];
s143 [label="ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_DATA_L2CAP_Hdr"];
s144 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_VERSION_IND"];
s145 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP"];
s150 [label="BTLE_BTLE_DATA"];
s151 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_REJECT_IND"];
s152 [label="BTLE_BTLE_DATA_L2CAP_Hdr_SM_Hdr_SM_Pairing_Response"];
s153 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_LENGTH_RSP"];
s154 [label="ATT_Exchange_MTU_Response_ATT_Hdr_BTLE_BTLE_DATA_L2CAP_Hdr"];
s155 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_VERSION_IND"];
s156 [label="BTLE_BTLE_CTRL_BTLE_DATA_LL_FEATURE_RSP"];
0 -> s03 [label="length_req:0.2"];
0 -> s02 [label="length_req:0.8"];
0 -> s03 [label="length_rsp:0.2"];
Expand Down
Loading

0 comments on commit 6a43236

Please sign in to comment.