Commit a07bd940 authored by Basile Desloges 's avatar Basile Desloges

[eacsl] Add test for `--dlmalloc-from-sources`

parent df2c76f2
/* run.config_ci, run.config_dev
COMMENT: Compile dlmalloc from sources with this file
MACRO: ROOT_EACSL_GCC_OPTS_EXT --dlmalloc-from-sources
*/
int main() {
return 0;
}
\ No newline at end of file
[e-acsl] beginning translation.
[e-acsl] translation done in project "e-acsl".
/* Generated by Frama-C */
#include "stddef.h"
#include "stdio.h"
int main(void)
{
int __retres;
__retres = 0;
return __retres;
}
Markdown is supported
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