| 1249 | } |
| 1250 | |
| 1251 | void mark_input(size_t mark, size_t id) { |
| 1252 | trace_result->vars[id].inp_marker.insert(mark); |
| 1253 | mgb_assert(inpmark_to_id.find(mark) == inpmark_to_id.end()); |
| 1254 | inpmark_to_id[mark] = id; |
| 1255 | } |
| 1256 | void mark_output(size_t mark, size_t id) { |
| 1257 | trace_result->vars[id].out_marker.insert(mark); |
| 1258 | mgb_assert(outmark_to_id.find(mark) == outmark_to_id.end()); |
no test coverage detected