Skip to content
Snippets Groups Projects
Commit 52121c95 authored by Basile Desloges's avatar Basile Desloges
Browse files

[eacsl] Remove superfluous ptests LOG command

parent 2d3832a6
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/tests/memory/local_init.c
+ 0
− 1
View file @ 52121c95
/* run.config /* run.config
COMMENT: test of a local initializer which contains an annotation COMMENT: test of a local initializer which contains an annotation
LOG: gen_@PTEST_NAME@.c
STDOPT: #"@MACHDEP@ -lib-entry -eva -then -no-lib-entry" STDOPT: #"@MACHDEP@ -lib-entry -eva -then -no-lib-entry"
*/ */
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment