Commit 15a5ef12 authored by Basile Desloges's avatar Basile Desloges
Browse files

[eacsl] Add test for debug RTL compilation

parent cdd24213
/* run.config_ci, run.config_dev
COMMENT: Compile RTL with debug and debug verbose informations
STDOPT:#"-e-acsl-debug 1"
MACRO: ROOT_EACSL_GCC_OPTS_EXT --rt-debug --rt-verbose
int main() {
return 0;
[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;
Supports Markdown
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