AV: helper script to run smv on a collection of BPLs
AV: helper script to run smv on a collection of BPLs

boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral,boogie-org/corral