assert_location.res.oracle

[kernel] Parsing assert_location.c (with preprocessing)
/* Generated by Frama-C */
#include "assert.h"
void h(void)
{
  __FC_assert("I\'m in assert_location.h" != (char const *)0,
              "assert_location.h",4,"\"I\'m in assert_location.h\"");
  return;
}

void c(void)
{
  __FC_assert("I\'m in assert_location.c" != (char const *)0,
              "assert_location.c",9,"\"I\'m in assert_location.c\"");
  return;
}