tests/syntax/assert_location.c · 1c73a25a298abc58555dfb966d6d8f6ba2c7884b · pub / frama-c · GitLab

Snippets Groups Projects

5 years ago
4f64abfa

[tests] new test for behavior of __FC_ASSERT_FILE in presence of include · 4f64abfa
Virgile Prevosto authored 5 years ago

4f64abfa

History

[tests] new test for behavior of __FC_ASSERT_FILE in presence of include
Virgile Prevosto authored 5 years ago

assert_location.c 81 B

#include "assert_location.h"

void c() {
  assert("I'm in assert_location.c");
}