(
label: &'static str,
tool: &'static str,
args: Value,
scratch_path: String,
init_content: String,
)
| 51 | } |
| 52 | |
| 53 | fn write( |
| 54 | label: &'static str, |
| 55 | tool: &'static str, |
| 56 | args: Value, |
| 57 | scratch_path: String, |
| 58 | init_content: String, |
| 59 | ) -> Self { |
| 60 | Self { |
| 61 | label, |
| 62 | tool, |
| 63 | args, |
| 64 | kind: QueryKind::Write { |
| 65 | scratch_path, |
| 66 | init_content, |
| 67 | }, |
| 68 | } |
| 69 | } |
| 70 | } |
| 71 | |
| 72 | /// All queries we run for one tool. The harness invariant is `queries.len() == 5`. |
no outgoing calls