Skip to content
Snippets Groups Projects
Commit 3a8151b5 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[tests] prepare test for reparsing C output

parent 8448b160
No related branches found
No related tags found
No related merge requests found
/* run.config
NOFRAMAC:
EXECNOW: LOG printer.res.c @frama-c@ @PTEST_FILE@ @CXX@ @MACHDEP@ -cxx-keep-mangling -ocode printer.res.c -print
EXECNOW: @frama-c@ @CXX@ @MACHDEP@ -cxx-demangling-short printer.res.c -print
*/
namespace A {
struct B {
int x;
B() { x = 42; }
};
}; // namespace A
int main() {
A::B b;
return b.x;
}
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