src/tools/veriexecgen