diff options
| author | Eric Kunze <eric.kunze@arm.com> | 2021-06-17 18:01:09 -0700 |
|---|---|---|
| committer | Eric Kunze <eric.kunze@arm.com> | 2021-06-24 12:18:14 -0700 |
| commit | a9101530d8ea7a3cb470b722bc6cf8745ab283ac (patch) | |
| tree | 2918f0c0e16515295ef6d112c279902fdddd44fb /tosa_spec.adoc | |
| parent | f19e594f71e04c72ecf937419333b57dc7dcb873 (diff) | |
| download | specification-a9101530d8ea7a3cb470b722bc6cf8745ab283ac.tar.gz | |
Replace assert with REQUIRE()
REQUIRE is a direct replacement for the asserts, and uses
the unpredictable() function in pseudocode to describe the required
conditions for operators
Change-Id: I35dc81e083d8e41f16728d992bdb8b06b0271226
Signed-off-by: Eric Kunze <eric.kunze@arm.com>
Diffstat (limited to 'tosa_spec.adoc')
| -rw-r--r-- | tosa_spec.adoc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tosa_spec.adoc b/tosa_spec.adoc index 0f96d5c..130d98e 100644 --- a/tosa_spec.adoc +++ b/tosa_spec.adoc @@ -1,7 +1,7 @@ // // This confidential and proprietary software may be used only as // authorised by a licensing agreement from ARM Limited -// (C) COPYRIGHT 2020 ARM Limited +// (C) COPYRIGHT 2020-2021 ARM Limited // ALL RIGHTS RESERVED // The entire notice above must be reproduced on all authorised // copies and copies may only be made to the extent permitted @@ -19,3 +19,4 @@ include::chapters/introduction.adoc[] include::chapters/operators.adoc[] +include::chapters/pseudocode.adoc[] |