summaryrefslogtreecommitdiffstats
path: root/configure.ac
diff options
context:
space:
mode:
authorChristophe Grenier <grenier@cgsecurity.org>2024-05-18 16:17:23 +0200
committerChristophe Grenier <grenier@cgsecurity.org>2024-05-18 16:17:23 +0200
commitd936a2d4c4d78e1aadd3a67cde2845090777485d (patch)
treeb76c3cdeafbf2518e98efcc8b21d440e0d67d030 /configure.ac
parentae3b0a835f76e0bdd6a6f1a9f3cc28eca327c87b (diff)
src/common.c: strip_dup() - Add annotations so Frama-C can assert thatHEADmaster
strip_dup() terminates
Diffstat (limited to 'configure.ac')
0 files changed, 0 insertions, 0 deletions