Commit 79aa5902 authored by filatov's avatar filatov
Browse files

fix a wrong conclusion in TP body

parent aa44dbaf
...@@ -19,7 +19,7 @@ ...@@ -19,7 +19,7 @@
"key": "_expectedResults", "key": "_expectedResults",
"origin": "22fcb348-8869-4895-b9be-6bb7d3e15eb6", "origin": "22fcb348-8869-4895-b9be-6bb7d3e15eb6",
"type": "STRING", "type": "STRING",
"value": "with { \r\n\tthe IUT being in the 'authorized' state\r\n\tthe IUT is sending CAMs\r\n} \r\nensure that { \r\n\twhen {\r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_CAM_01)\r\n\t\t\tcontaining header_fields[0].type\r\n\t\t\t\tindicating 'generation_time'\r\n\t\t\tand containing header_fields[1].type\r\n\t\t\t\tindicating 'its_aid'\r\n\t\t\tand containing header_fields[2].type\r\n\t\t\t\tindicating 'signer_info'\r\n\t\t\tand not containing other header fields\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT keeps sending CAMs\r\n\t}\r\n}\r\n" "value": "with { \r\n\tthe IUT being in the 'authorized' state\r\n\tthe IUT is sending CAMs\r\n} \r\nensure that { \r\n\twhen {\r\n\t\tthe IUT is receiving a SecuredMessage (MSG_SEC_RCV_CAM_01)\r\n\t\t\tcontaining header_fields[0].type\r\n\t\t\t\tindicating 'generation_time'\r\n\t\t\tand containing header_fields[1].type\r\n\t\t\t\tindicating 'its_aid'\r\n\t\t\tand containing header_fields[2].type\r\n\t\t\t\tindicating 'signer_info'\r\n\t\t\tand not containing other header fields\r\n\t\t}\r\n\t} then {\r\n\t\tthe IUT discards the SecuredMessage\r\n\t}\r\n}\r\n"
}, },
"_generators": { "_generators": {
"elements_type": "STRING", "elements_type": "STRING",
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment