1From cd058f01be06f70c54b9608d4a7b4dae5a5bc2e0 Mon Sep 17 00:00:00 2001
2From: Jens Wiklander <jens.wiklander@linaro.org>
3Date: Wed, 19 Aug 2020 17:53:31 +0200
4Subject: [PATCH 10/11] TEE_DataStorage_API.xml
5
6Disabling cases:
7- Invoke_SeekWriteRead_Offset_0_SEEK_END_Offset_Low (9d-a6-93)
8- Invoke_SeekWriteRead_Offset_High_SEEK_CUR_Offset_Low (9d-60-98)
9- Invoke_SeekWriteRead_Offset_Low_SEEK_CUR_Offset_High (9d-6b-51)
10- Invoke_SeekWriteRead_Offset_Low_SEEK_END_Offset_Low (9d-21-93)
11- Invoke_WriteObjectData_overflow (9d-01-ce)
12These tests fails and the expected position counters doesn't seem to
13make any sense.
14
15Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
16---
17 packages/DataStorage/xmlstable/TEE_DataStorage_API.xml | 10 ++++++++++
18 1 file changed, 10 insertions(+)
19
20diff --git a/packages/DataStorage/xmlstable/TEE_DataStorage_API.xml b/packages/DataStorage/xmlstable/TEE_DataStorage_API.xml
21index db43d7b71ebc..69305a880a9f 100644
22--- a/packages/DataStorage/xmlstable/TEE_DataStorage_API.xml
23+++ b/packages/DataStorage/xmlstable/TEE_DataStorage_API.xml
24@@ -166262,6 +166262,7 @@
25                 </call>
26             </postamble>
27         </scenario>
28+<!-- test case is broken
29         <scenario name="Invoke_SeekWriteRead_Offset_0_SEEK_END_Offset_Low (9d-a6-93)" destructive="no">
30             <req name="READ_OBJECT_DATA_SUCCESS">
31                 <description><![CDATA[The TEE_ReadObjectData function attempts to read size bytes from the data stream associated with the object object into the buffer pointed to by buffer. The object handle MUST have been opened with the read access right. The bytes are read starting at the position in the data stream currently stored in the object handle. The handle’s position is incremented by the number of bytes actually read.]]></description>
32@@ -167374,6 +167375,7 @@
33                 </call>
34             </postamble>
35         </scenario>
36+-->
37         <scenario name="Invoke_SeekWriteRead_Offset_0_SEEK_SET_Offset_High (9d-38-58)" destructive="no">
38             <req name="READ_OBJECT_DATA_SUCCESS">
39                 <description><![CDATA[The TEE_ReadObjectData function attempts to read size bytes from the data stream associated with the object object into the buffer pointed to by buffer. The object handle MUST have been opened with the read access right. The bytes are read starting at the position in the data stream currently stored in the object handle. The handle’s position is incremented by the number of bytes actually read.]]></description>
40@@ -169043,6 +169045,7 @@
41                 </call>
42             </postamble>
43         </scenario>
44+<!-- test case is broken
45         <scenario name="Invoke_SeekWriteRead_Offset_High_SEEK_CUR_Offset_Low (9d-60-98)" destructive="no">
46             <req name="READ_OBJECT_DATA_SUCCESS">
47                 <description><![CDATA[The TEE_ReadObjectData function attempts to read size bytes from the data stream associated with the object object into the buffer pointed to by buffer. The object handle MUST have been opened with the read access right. The bytes are read starting at the position in the data stream currently stored in the object handle. The handle’s position is incremented by the number of bytes actually read.]]></description>
48@@ -169599,6 +169602,7 @@
49                 </call>
50             </postamble>
51         </scenario>
52+-->
53         <scenario name="Invoke_SeekWriteRead_Offset_High_SEEK_SET_Offset_0 (9d-c9-ed)" destructive="no">
54             <req name="READ_OBJECT_DATA_SUCCESS">
55                 <description><![CDATA[The TEE_ReadObjectData function attempts to read size bytes from the data stream associated with the object object into the buffer pointed to by buffer. The object handle MUST have been opened with the read access right. The bytes are read starting at the position in the data stream currently stored in the object handle. The handle’s position is incremented by the number of bytes actually read.]]></description>
56@@ -170710,6 +170714,7 @@
57                 </call>
58             </postamble>
59         </scenario>
60+<!-- test case is broken
61         <scenario name="Invoke_SeekWriteRead_Offset_Low_SEEK_CUR_Offset_High (9d-6b-51)" destructive="no">
62             <req name="READ_OBJECT_DATA_SUCCESS">
63                 <description><![CDATA[The TEE_ReadObjectData function attempts to read size bytes from the data stream associated with the object object into the buffer pointed to by buffer. The object handle MUST have been opened with the read access right. The bytes are read starting at the position in the data stream currently stored in the object handle. The handle’s position is incremented by the number of bytes actually read.]]></description>
64@@ -171266,6 +171271,7 @@
65                 </call>
66             </postamble>
67         </scenario>
68+-->
69         <scenario name="Invoke_SeekWriteRead_Offset_Low_SEEK_CUR_Offset_Low (9d-7c-c4)" destructive="no">
70             <req name="READ_OBJECT_DATA_SUCCESS">
71                 <description><![CDATA[The TEE_ReadObjectData function attempts to read size bytes from the data stream associated with the object object into the buffer pointed to by buffer. The object handle MUST have been opened with the read access right. The bytes are read starting at the position in the data stream currently stored in the object handle. The handle’s position is incremented by the number of bytes actually read.]]></description>
72@@ -172379,6 +172385,7 @@
73                 </call>
74             </postamble>
75         </scenario>
76+<!-- test case is broken
77         <scenario name="Invoke_SeekWriteRead_Offset_Low_SEEK_END_Offset_Low (9d-21-93)" destructive="no">
78             <req name="READ_OBJECT_DATA_SUCCESS">
79                 <description><![CDATA[The TEE_ReadObjectData function attempts to read size bytes from the data stream associated with the object object into the buffer pointed to by buffer. The object handle MUST have been opened with the read access right. The bytes are read starting at the position in the data stream currently stored in the object handle. The handle’s position is incremented by the number of bytes actually read.]]></description>
80@@ -172935,6 +172942,7 @@
81                 </call>
82             </postamble>
83         </scenario>
84+-->
85         <scenario name="Invoke_SeekWriteRead_Offset_Low_SEEK_SET_Offset_0 (9d-02-ed)" destructive="no">
86             <req name="READ_OBJECT_DATA_SUCCESS">
87                 <description><![CDATA[The TEE_ReadObjectData function attempts to read size bytes from the data stream associated with the object object into the buffer pointed to by buffer. The object handle MUST have been opened with the read access right. The bytes are read starting at the position in the data stream currently stored in the object handle. The handle’s position is incremented by the number of bytes actually read.]]></description>
88@@ -178054,6 +178062,7 @@
89                 </call>
90             </postamble>
91         </scenario>
92+<!-- test case is broken
93         <scenario name="Invoke_WriteObjectData_overflow (9d-01-ce)" destructive="no">
94             <req name="WRITE_OBJECT_DATA_ERROR_OVERFLOW">
95                 <description><![CDATA[If the value of the data position indicator resulting from this operation would be greater than TEE_DATA_MAX_POSITION]]></description>
96@@ -178658,6 +178667,7 @@
97                 </call>
98             </postamble>
99         </scenario>
100+-->
101     </initial-state>
102 </package>
103
104--
1052.25.1
106
107