From 9e6e3fca54a3f9ee52d976e6dc021425c96d2515 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marc=20Andr=C3=A9=20Tanner?= <mat@brain-dump.org>
Date: Sun, 25 Oct 2020 10:57:33 +0100
Subject: 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?
---
 core/tap.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/core/tap.h b/core/tap.h
index 390eb6f..b8a7213 100644
--- 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
-- 
cgit v1.2.3