rtemsspec/tests/spec-verify/spec2/some-float.yml


1
2
3
4
5
6
7
8
9
10
11
12
13
14

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:
  float:
    assert:
    - le: 0.0
spec-type: some-float
type: spec