path: root/Test/og/wsq.bpl.expect

Boogie program verifier version 2.3.0.61016, Copyright (c) 2003-2014, Microsoft.

Boogie program verifier finished with 3 verified, 0 errors