Used sub-strategy.

[orizi]

No description provided.

[reviewable-StarkWare]

This change is 

[ilyalesokhin-starkware]

crates/cairo-lang-sierra-generator/src/function_generator_test_data/snapshot line 85 at r1 (raw file):

dup<u32>([1]) -> ([1], [2])
rename<u32>([2]) -> ([3])
bounded_int_trim_max<u32>([3]) { fallthrough() label_test::foo::1([4]) }

how come there is no inc?

Code quote:

bounded_int_trim_max

[ilyalesokhin-starkware]

Reviewed 6 of 56 files at r1, all commit messages.
Reviewable status: 6 of 56 files reviewed, 1 unresolved discussion (waiting on @orizi)

[orizi]

Reviewable status: 6 of 56 files reviewed, 1 unresolved discussion (waiting on @ilyalesokhin-starkware)

---

crates/cairo-lang-sierra-generator/src/function_generator_test_data/snapshot line 85 at r1 (raw file):

Previously, ilyalesokhin-starkware wrote…

how come there is no inc?

It is inlined now.

[ilyalesokhin-starkware]

crates/cairo-lang-sierra-generator/src/function_generator_test_data/snapshot line 85 at r1 (raw file):

Previously, orizi wrote…

It is inlined now.

I still expect to see inc before trim, but I haven't digged into it.

[ilyalesokhin-starkware]

Reviewed 9 of 56 files at r1.
Reviewable status: 15 of 56 files reviewed, 1 unresolved discussion (waiting on @orizi)

[ilyalesokhin-starkware]

Reviewed 3 of 56 files at r1, all commit messages.
Reviewable status: 18 of 56 files reviewed, all discussions resolved