tests/syntax/extern_init_1.i · 736c5476fb20f12f67d1503412c51f6b04fd7492 · pub / frama-c · GitLab

Snippets Groups Projects

6 years ago

[aorai] Fixes place of comment in Makefile · 736c5476

Virgile Prevosto authored 6 years ago

This is absolutely not a sneaky attempt to relaunch a build (now that OCI seems
in better shape) pushing a nearly empty commit.

736c5476

[aorai] Fixes place of comment in Makefile

Virgile Prevosto authored 6 years ago

This is absolutely not a sneaky attempt to relaunch a build (now that OCI seems
in better shape) pushing a nearly empty commit.

  extern_init_1.i  111 B 
   
Edit single file  
              Edit this file only.
            
 
         

/* run.config
DONTRUN: main test is in extern_init.i
*/
int a[5] = {1, 2, 3, 4, 5};

void f() {
  a[2] = 12;
}