Skip to content
Snippets Groups Projects
Commit 297788c4 authored by Virgile Prevosto's avatar Virgile Prevosto Committed by David Bühler
Browse files

[tests] add pretty-printing test for treatment of new builtins

parent fe36d799
No related branches found
No related tags found
No related merge requests found
[kernel] Parsing tests/syntax/signal.c (with preprocessing)
/* Generated by Frama-C */
#include "signal.h"
void f(void)
{
signal(10,SIG_IGN);
signal(12,SIG_ERR);
signal(31,SIG_DFL);
return;
}
#include <signal.h>
void f() {
signal (SIGUSR1, SIG_IGN);
signal (SIGUSR2, SIG_ERR);
signal (SIGUNUSED, SIG_DFL);
}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment