Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
frama-c
Commits
a8f76987
Commit
a8f76987
authored
Feb 25, 2020
by
Virgile Prevosto
Browse files
[Makefile] add a target to check that crashes reported by afl aren't spurious
parent
3175ea90
Changes
1
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
a8f76987
...
...
@@ -1445,6 +1445,11 @@ crowbar-afl-%: tests/crowbar/%
$(MKDIR)
tests/crowbar/output-
$*
afl-fuzz
$(AFL_OPTS)
-i
tests/crowbar/input
-o
tests/crowbar/output-
$*
$<
@@
crowbar-afl-check-%
:
tests/crowbar/%
$(
foreach
file,
$(
wildcard
tests/crowbar/output-
$*
/crashes/id
*
)
,
\
$<
$(file)
>
/dev/null 2>&1
||
\
echo
"
$(file)
leads to a real test failure"
;
)
##############
# Emacs tags #
##############
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment