From a9101530d8ea7a3cb470b722bc6cf8745ab283ac Mon Sep 17 00:00:00 2001
From: Eric Kunze <eric.kunze@arm.com>
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 <eric.kunze@arm.com>
---
 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

