Syntactic loop unrolling #179
Description
For SVComp, it may be useful to have a basic implementation of loop unrolling (for now, syntactic).
{{ message }}
For SVComp, it may be useful to have a basic implementation of loop unrolling (for now, syntactic).