| 573 | } |
| 574 | |
| 575 | static void pad(StateValue &v, unsigned amount, State &s) { |
| 576 | if (amount == 0) |
| 577 | return; |
| 578 | |
| 579 | expr ty = expr::mkUInt(0, amount); |
| 580 | auto pad = [&](expr &v) { |
| 581 | expr var = expr::mkFreshVar("padding", ty); |
| 582 | v = var.concat(v); |
| 583 | s.addQuantVar(var); |
| 584 | }; |
| 585 | |
| 586 | pad(v.value); |
| 587 | if (!v.non_poison.isBool()) |
| 588 | pad(v.non_poison); |
| 589 | } |
| 590 | |
| 591 | static vector<Byte> valueToBytes(const StateValue &val, const Type &fromType, |
| 592 | const Memory &mem, State &s) { |
no test coverage detected