From a9101530d8ea7a3cb470b722bc6cf8745ab283ac Mon Sep 17 00:00:00 2001 From: Eric Kunze Date: Thu, 17 Jun 2021 18:01:09 -0700 Subject: 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 --- tosa_spec.adoc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'tosa_spec.adoc') 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[] -- cgit v1.2.1