| // Copyright 2020 The Fuchsia Authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style license that can be |
| // found in the LICENSE file. |
| |
| success("StrictBitsUint8KnownValue") { |
| value = StrictBitsUint8Struct { |
| b: 1, |
| }, |
| bytes = { |
| v1 = [ |
| 0x01, padding:7, |
| ], |
| }, |
| } |
| |
| success("StrictBitsUint8CombinedValue") { |
| value = StrictBitsUint8Struct { |
| b: 3, |
| }, |
| bytes = { |
| v1 = [ |
| 0x03, padding:7, |
| ], |
| }, |
| } |
| |
| success("StrictBitsUint16KnownValue") { |
| value = StrictBitsUint16Struct { |
| b: 1, |
| }, |
| bytes = { |
| v1 = [ |
| 0x01, 0x00, padding:6, |
| ], |
| }, |
| } |
| |
| success("StrictBitsUint16CombinedValue") { |
| value = StrictBitsUint16Struct { |
| b: 3, |
| }, |
| bytes = { |
| v1 = [ |
| 0x03, 0x00, padding:6, |
| ], |
| }, |
| } |
| |
| success("StrictBitsUint32KnownValue") { |
| value = StrictBitsUint32Struct { |
| b: 1, |
| }, |
| bytes = { |
| v1 = [ |
| 0x01, 0x00, 0x00, 0x00, padding:4, |
| ], |
| }, |
| } |
| |
| success("StrictBitsUint32CombinedValue") { |
| value = StrictBitsUint32Struct { |
| b: 3, |
| }, |
| bytes = { |
| v1 = [ |
| 0x03, 0x00, 0x00, 0x00, padding:4, |
| ], |
| }, |
| } |
| success("StrictBitsUint64KnownValue") { |
| value = StrictBitsUint64Struct { |
| b: 1, |
| }, |
| bytes = { |
| v1 = [ |
| 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, |
| ], |
| }, |
| } |
| |
| success("StrictBitsUint64CombinedValue") { |
| value = StrictBitsUint64Struct { |
| b: 3, |
| }, |
| bytes = { |
| v1 = [ |
| 0x03, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, |
| ], |
| }, |
| } |
| |
| encode_failure("StrictBitsUint8UnknownBit") { |
| value = StrictBitsUint8Struct { |
| b: 4, |
| }, |
| err = STRICT_BITS_UNKNOWN_BIT, |
| } |
| |
| encode_failure("StrictBitsUint16UnknownBit") { |
| value = StrictBitsUint16Struct { |
| b: 4, |
| }, |
| err = STRICT_BITS_UNKNOWN_BIT, |
| } |
| |
| encode_failure("StrictBitsUint32UnknownBit") { |
| value = StrictBitsUint32Struct { |
| b: 4, |
| }, |
| err = STRICT_BITS_UNKNOWN_BIT, |
| } |
| |
| encode_failure("StrictBitsUint64UnknownBit") { |
| value = StrictBitsUint64Struct { |
| b: 4, |
| }, |
| err = STRICT_BITS_UNKNOWN_BIT, |
| } |
| |
| decode_failure("StrictBitsUint8UnknownBit") { |
| type = StrictBitsUint8Struct, |
| bytes = { |
| v1 = [ |
| 0x04, padding:7, |
| ], |
| }, |
| err = STRICT_BITS_UNKNOWN_BIT, |
| } |
| |
| decode_failure("StrictBitsUint16UnknownBit") { |
| type = StrictBitsUint16Struct, |
| bytes = { |
| v1 = [ |
| 0x04, 0x00, padding:6 |
| ], |
| }, |
| err = STRICT_BITS_UNKNOWN_BIT, |
| } |
| |
| decode_failure("StrictBitsUint32UnknownBit") { |
| type = StrictBitsUint32Struct, |
| bytes = { |
| v1 = [ |
| 0x04, 0x00, 0x00, 0x00, padding:4, |
| ], |
| }, |
| err = STRICT_BITS_UNKNOWN_BIT, |
| } |
| |
| decode_failure("StrictBitsUint64UnknownBit") { |
| type = StrictBitsUint64Struct, |
| bytes = { |
| v1 = [ |
| 0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, |
| ], |
| }, |
| err = STRICT_BITS_UNKNOWN_BIT, |
| } |