VeriCAV Test Framework 0.1v