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?
martanne · Oct 25, 2020 · 9e6e3fc · 9e6e3fc
1 parent 39c3bdd
commit 9e6e3fc
Showing 1 changed file with 5 additions and 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