| 41 | } |
| 42 | |
| 43 | DataPositions BaseMachine::get_offline_data_used() |
| 44 | { |
| 45 | if (program) |
| 46 | return program->get_offline_data_used(); |
| 47 | else |
| 48 | return s().progs[0].get_offline_data_used(); |
| 49 | } |
| 50 | |
| 51 | int BaseMachine::edabit_bucket_size(int n_bits) |
| 52 | { |
no outgoing calls
no test coverage detected