Home
last modified time | relevance | path

Searched refs:Right_Last (Results 1 – 3 of 3) sorted by relevance

/third_party/zlib/contrib/ada/
Dtest.adb132 Left_Last, Right_Last : Stream_Element_Offset; variable
136 Read (Right, Right_Buffer, Right_Last);
138 if Left_Last /= Right_Last then
142 & Stream_Element_Offset'Image (Right_Last));
147 /= Right_Buffer (0 .. Right_Last)
/third_party/boost/libs/beast/test/extern/zlib-1.2.11/contrib/ada/
Dtest.adb132 Left_Last, Right_Last : Stream_Element_Offset; variable
136 Read (Right, Right_Buffer, Right_Last);
138 if Left_Last /= Right_Last then
142 & Stream_Element_Offset'Image (Right_Last));
147 /= Right_Buffer (0 .. Right_Last)
/third_party/boost/tools/boost_install/test/iostreams/zlib-1.2.11/contrib/ada/
Dtest.adb132 Left_Last, Right_Last : Stream_Element_Offset; variable
136 Read (Right, Right_Buffer, Right_Last);
138 if Left_Last /= Right_Last then
142 & Stream_Element_Offset'Image (Right_Last));
147 /= Right_Buffer (0 .. Right_Last)