1 2 3 4 5 6 7 8 9 10 11 12 13
SPDX-License-Identifier: CC-BY-SA-4.0 OR BSD-2-Clause copyrights: - Copyright (C) 2020 embedded brains GmbH & Co. KG enabled-by: true links: - role: spec-member uid: /spec/root spec-example: null spec-info: bool: assert: true spec-type: must-be-true type: spec