svcomp_exception.c
lines 196 201 314 214 242 247 251
guide 1 1 1 1 1 1 0