smt2_parser: avoid access to vector without prior size check#2347

Merged

kroening merged 1 commit intodevelopfrom

smt2-bounds-checks

Jun 12, 2018

Commits on Jun 12, 2018

smt2_parser: avoid access to vector without prior size check
Daniel Kroening
committed