source: CIVL/examples/possibleBug/test1.cvl@ 19e7e2d

#include <stdio.h>

void fun(double *a){
        *a = *a + 1;
}

int main(){
        double Jb;
    fun(&Jb);
    return 0;
}