vis

commit 370cc51cc5da2589c163ef2b8ad85301cbe28217
parent 3e64a26b9366855e50f110d429cfc36d5eddd81d
Author: Marc André Tanner <mat@brain-dump.org>
Date:   Sun, 25 Oct 2020 10:57:33 +0100

test/core: add labs(3) implementation for TIS analyzer

While the ACSL specification for the function prototype is present,
the actual implementation is missing. Not sure why?

Diffstat:
M
core/tap.h
 | 
5
+++++

1 file changed, 5 insertions(+), 0 deletions(-)
diff --git a/core/tap.h b/core/tap.h
@@ -45,6 +45,11 @@ time_t time(time_t *p)
 	return value;
 }
 
+long labs(long v)
+{
+	return v > 0 ? v : -v;
+}
+
 #else
 #include <ccan/tap/tap.h>
 #define TIS_INTERPRETER 0