diff options
Diffstat (limited to 'tests/test_e2e.py')
| -rw-r--r-- | tests/test_e2e.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/test_e2e.py b/tests/test_e2e.py index 9da1190..9672527 100644 --- a/tests/test_e2e.py +++ b/tests/test_e2e.py @@ -28,3 +28,7 @@ def test_offline_end_to_end_smoke(tmp_path: Path) -> None: "garbled_string", "kernel_variant", } + kernel_meta = record["variants"]["kernel_variant"]["_meta"] + assert kernel_meta["proof_dag"]["terminal_node_id"] == "n3" + assert kernel_meta["replacement_plan"]["changes"][0]["slot_id"] == "s1" + assert kernel_meta["diffused_proof"]["terminal_answer"] == "4" |