Skip to content

Commit

Permalink
Improve test
Browse files Browse the repository at this point in the history
  • Loading branch information
evhub committed Aug 18, 2024
1 parent 143e568 commit 414806b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion coconut/tests/src/cocotest/agnostic/primary_2.coco
Original file line number Diff line number Diff line change
Expand Up @@ -480,7 +480,7 @@ def primary_test_2() -> bool:
assert x == 9 == y
(x=x) = (x=10)
assert x == 10
(x=, y=y) = (x=11, y=11)
(y=y, x=) = (x=11, y=11)
assert x == 11 == y
tuple(x=) = (x=12, y=12)
assert x == 12
Expand Down

0 comments on commit 414806b

Please sign in to comment.