Fix extract test

saulshanabrook · saulshanabrook · commit 883c7dc0bcab · 2025-06-27T17:55:51.000+01:00
diff --git a/python/tests/test_bindings.py b/python/tests/test_bindings.py
@@ -118,7 +118,7 @@ def test_extract(self):
         egraph.run_program(
             Datatype(DUMMY_SPAN, "Expr", [Variant(DUMMY_SPAN, "Num", ["i64"], cost=5)]),
             ActionCommand(Let(DUMMY_SPAN, "x", Call(DUMMY_SPAN, "Num", [Lit(DUMMY_SPAN, Int(1))]))),
-            Extract(DUMMY_SPAN, Var(DUMMY_SPAN, "x"), Lit(DUMMY_SPAN, Int(1))),
+            Extract(DUMMY_SPAN, Var(DUMMY_SPAN, "x"), Lit(DUMMY_SPAN, Int(0))),
         )
 
         extract_report = egraph.extract_report()

Original file line number	Diff line number	Diff line change
`@@ -118,7 +118,7 @@ def test_extract(self):`
`118`	`118`	`egraph.run_program(`
`119`	`119`	`Datatype(DUMMY_SPAN, "Expr", [Variant(DUMMY_SPAN, "Num", ["i64"], cost=5)]),`
`120`	`120`	`ActionCommand(Let(DUMMY_SPAN, "x", Call(DUMMY_SPAN, "Num", [Lit(DUMMY_SPAN, Int(1))]))),`
`121`		`- Extract(DUMMY_SPAN, Var(DUMMY_SPAN, "x"), Lit(DUMMY_SPAN, Int(1))),`
	`121`	`+ Extract(DUMMY_SPAN, Var(DUMMY_SPAN, "x"), Lit(DUMMY_SPAN, Int(0))),`
`122`	`122`	`)`
`123`	`123`
`124`	`124`	`extract_report = egraph.extract_report()`