blob: 9e6e3fca54a3f9ee52d976e6dc021425c96d2515 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
|
tree 6a9ef1a406a98489a587eb09d903c00031d431b2
parent 39c3bdd36248298c86989691f7a74dad7d3a1ace
author Marc André Tanner <mat@brain-dump.org> 1603619853 +0100
committer Marc André Tanner <mat@brain-dump.org> 1603619889 +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?
|
