xr0-org / xr0

The Xr0 Verifier for C
https://xr0.dev
Apache License 2.0
173 stars 4 forks source link

better recursive printing of blocks #47

Closed akiarie closed 4 months ago

akiarie commented 4 months ago

Xr0 currently messes up block indentation, e.g.

void *
test(int x) ~ [
        if (x) {        return .malloc(1);

 }
        if (!(x)) {     return .malloc(1);

 }
]{
        return malloc(1);

}