Skip to content

Commit c9d1a8e

Browse files
DavePearceDavePearce
authored
feat: add expanded tests for permutations (#1120)
add expanded tests for permutations
1 parent f15eff7 commit c9d1a8e

File tree

7 files changed

+81248
-0
lines changed

7 files changed

+81248
-0
lines changed

‎pkg/test/corset_valid_test.go‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -497,6 +497,10 @@ func Test_Valid_Type_12(t *testing.T) {
497497
test_util.Check(t, false, "valid/type_12")
498498
}
499499

500+
func Test_Valid_Type_13(t *testing.T) {
501+
test_util.Check(t, false, "valid/type_13")
502+
}
503+
500504
// ===================================================================
501505
// Range Constraints
502506
// ===================================================================

‎testdata/valid/permute_02.expanded.O1.rejects‎

Lines changed: 83 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,83 @@
1+
{"X": [0, 0], "Y": [0, 0], "+Y:delta": [0, 1], "+Y:mux:0@u1": [0, 0], "(inv (- Y (shift Y -1)))": [0, 0]}
2+
{"X": [0, 0], "Y": [0, 0], "+Y:delta": [0, 2], "+Y:mux:0@u1": [0, 0], "(inv (- Y (shift Y -1)))": [0, 0]}
3+
{"X": [0, 0], "Y": [0, 0], "+Y:delta": [0, 0], "+Y:mux:0@u1": [0, 1], "(inv (- Y (shift Y -1)))": [0, 0]}
4+
{"X": [0, 0], "Y": [0, 0], "+Y:delta": [0, 0], "+Y:mux:0@u1": [0, 1], "(inv (- Y (shift Y -1)))": [0, 0]}
5+
{"X": [0, 0], "Y": [0, 0], "+Y:delta": [0, 0], "+Y:mux:0@u2": [0, 2], "(inv (- Y (shift Y -1)))": [0, 0]}
6+
7+
{"X": [0, 0, 1], "Y": [0, 0, 1], "+Y:delta": [0, 0, 0], "+Y:mux:0@u1": [0, 0, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1]}
8+
{"X": [0, 0, 1], "Y": [0, 0, 1], "+Y:delta": [0, 1, 0], "+Y:mux:0@u1": [0, 0, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1]}
9+
{"X": [0, 0, 1], "Y": [0, 0, 1], "+Y:delta": [0, 1, 1], "+Y:mux:0@u1": [0, 0, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1]}
10+
{"X": [0, 0, 1], "Y": [0, 0, 1], "+Y:delta": [0, 0, 1], "+Y:mux:0@u1": [0, 1, 0], "(inv (- Y (shift Y -1)))": [0, 0, 1]}
11+
{"X": [0, 0, 1], "Y": [0, 0, 1], "+Y:delta": [0, 0, 1], "+Y:mux:0@u1": [0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1]}
12+
13+
{"X": [0, 1, 0], "Y": [0, 0, 1], "+Y:delta": [0, 1, 0], "+Y:mux:0@u1": [0, 0, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1]}
14+
{"X": [0, 1, 0], "Y": [0, 0, 1], "+Y:delta": [0, 1, 1], "+Y:mux:0@u1": [0, 0, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1]}
15+
{"X": [0, 1, 0], "Y": [0, 0, 1], "+Y:delta": [0, 0, 1], "+Y:mux:0@u1": [0, 1, 0], "(inv (- Y (shift Y -1)))": [0, 0, 1]}
16+
{"X": [0, 1, 0], "Y": [0, 0, 1], "+Y:delta": [0, 0, 1], "+Y:mux:0@u1": [0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1]}
17+
{"X": [0, 1, 0], "Y": [0, 0, 1], "+Y:delta": [0, 0, 1], "+Y:mux:0@u1": [0, 0, 1], "(inv (- Y (shift Y -1)))": [0, 0, 0]}
18+
{"X": [0, 1, 0], "Y": [0, 0, 1], "+Y:delta": [0, 0, 1], "+Y:mux:0@u1": [0, 0, 1], "(inv (- Y (shift Y -1)))": [0, 0, 2]}
19+
20+
{"X": [0, 0, 1, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 3], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
21+
{"X": [0, 0, 1, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 2], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
22+
{"X": [0, 0, 1, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 0, 4], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
23+
{"X": [0, 0, 1, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 2, 4], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
24+
{"X": [0, 0, 1, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u1": [0, 0, 0, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
25+
{"X": [0, 0, 1, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u1": [0, 0, 1, 0], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
26+
{"X": [0, 0, 1, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 0, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
27+
{"X": [0, 0, 1, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 2, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
28+
{"X": [0, 0, 1, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929280]}
29+
30+
{"X": [0, 0, 5, 1], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 3], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
31+
{"X": [0, 0, 5, 1], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 2], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
32+
{"X": [0, 0, 5, 1], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 2, 4], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
33+
{"X": [0, 0, 5, 1], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u2": [0, 0, 1, 2], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
34+
{"X": [0, 0, 5, 1], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u2": [0, 0, 1, 3], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
35+
{"X": [0, 0, 5, 1], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u1": [0, 0, 0, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
36+
{"X": [0, 0, 5, 1], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u2": [0, 0, 2, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
37+
{"X": [0, 0, 5, 1], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 0, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
38+
{"X": [0, 0, 5, 1], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929280]}
39+
40+
{"X": [0, 5, 1, 0], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 3], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
41+
{"X": [0, 5, 1, 0], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 2], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
42+
{"X": [0, 5, 1, 0], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 2, 4], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
43+
{"X": [0, 5, 1, 0], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u1": [0, 0, 1, 0], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
44+
{"X": [0, 5, 1, 0], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u1": [0, 0, 0, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
45+
{"X": [0, 5, 1, 0], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u2": [0, 0, 0, 2], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
46+
{"X": [0, 5, 1, 0], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 0, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
47+
{"X": [0, 5, 1, 0], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 2, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
48+
{"X": [0, 5, 1, 0], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929280]}
49+
50+
{"X": [0, 1, 0, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 1, 1, 4], "+Y:mux:0@u1": [0, 1, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
51+
{"X": [0, 1, 0, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 5], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
52+
{"X": [0, 1, 0, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 1], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
53+
{"X": [0, 1, 0, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u1": [0, 0, 1, 0], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
54+
{"X": [0, 1, 0, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u1": [0, 0, 0, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
55+
{"X": [0, 1, 0, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u1": [0, 0, 0, 0], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
56+
{"X": [0, 1, 0, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u2": [0, 0, 2, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
57+
{"X": [0, 1, 0, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u2": [0, 0, 1, 2], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
58+
{"X": [0, 1, 0, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u1": [0, 1, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
59+
{"X": [0, 1, 0, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929280]}
60+
{"X": [0, 1, 0, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u1": [0, 1, 0, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
61+
{"X": [0, 1, 0, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 2, 6333346312071277818186618704086159898531924501365547870951425091938056929281]}
62+
{"X": [0, 1, 0, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929280]}
63+
{"X": [0, 1, 0, 5], "Y": [0, 0, 1, 5], "+Y:delta": [0, 0, 1, 4], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 1, 6333346312071277818186618704086159898531924501365547870951425091938056929279]}
64+
65+
{"X": [0, 3287, 123, 0], "Y": [0, 0, 123, 3287], "+Y:delta": [0, 0, 122, 3164], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 7140032698703662797738843850677079994008890494764411691912717718824476104555, 3360169830129683427348062767991772150127135670973124639497616599557527886205]}
66+
{"X": [0, 3287, 123, 0], "Y": [0, 0, 123, 3287], "+Y:delta": [0, 0, 124, 3164], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 7140032698703662797738843850677079994008890494764411691912717718824476104555, 3360169830129683427348062767991772150127135670973124639497616599557527886205]}
67+
{"X": [0, 3287, 123, 0], "Y": [0, 0, 123, 3287], "+Y:delta": [0, 0, 123, 3163], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 7140032698703662797738843850677079994008890494764411691912717718824476104555, 3360169830129683427348062767991772150127135670973124639497616599557527886205]}
68+
{"X": [0, 3287, 123, 0], "Y": [0, 0, 123, 3287], "+Y:delta": [0, 0, 123, 3143], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 7140032698703662797738843850677079994008890494764411691912717718824476104555, 3360169830129683427348062767991772150127135670973124639497616599557527886205]}
69+
{"X": [0, 3287, 123, 0], "Y": [0, 0, 123, 3287], "+Y:delta": [0, 0, 123, 3165], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 7140032698703662797738843850677079994008890494764411691912717718824476104555, 3360169830129683427348062767991772150127135670973124639497616599557527886205]}
70+
{"X": [0, 3287, 123, 0], "Y": [0, 0, 123, 3287], "+Y:delta": [0, 0, 123, 3169], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 7140032698703662797738843850677079994008890494764411691912717718824476104555, 3360169830129683427348062767991772150127135670973124639497616599557527886205]}
71+
72+
{"X": [0, 3287, 123, 0], "Y": [0, 0, 123, 3287], "+Y:delta": [0, 0, 123, 3164], "+Y:mux:0@u1": [0, 0, 0, 1], "(inv (- Y (shift Y -1)))": [0, 0, 7140032698703662797738843850677079994008890494764411691912717718824476104555, 3360169830129683427348062767991772150127135670973124639497616599557527886205]}
73+
{"X": [0, 3287, 123, 0], "Y": [0, 0, 123, 3287], "+Y:delta": [0, 0, 123, 3164], "+Y:mux:0@u1": [0, 0, 1, 0], "(inv (- Y (shift Y -1)))": [0, 0, 7140032698703662797738843850677079994008890494764411691912717718824476104555, 3360169830129683427348062767991772150127135670973124639497616599557527886205]}
74+
{"X": [0, 3287, 123, 0], "Y": [0, 0, 123, 3287], "+Y:delta": [0, 0, 123, 3164], "+Y:mux:0@u1": [0, 1, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 7140032698703662797738843850677079994008890494764411691912717718824476104555, 3360169830129683427348062767991772150127135670973124639497616599557527886205]}
75+
{"X": [0, 3287, 123, 0], "Y": [0, 0, 123, 3287], "+Y:delta": [0, 0, 123, 3164], "+Y:mux:0@u1": [0, 1, 0, 1], "(inv (- Y (shift Y -1)))": [0, 0, 7140032698703662797738843850677079994008890494764411691912717718824476104555, 3360169830129683427348062767991772150127135670973124639497616599557527886205]}
76+
{"X": [0, 3287, 123, 0], "Y": [0, 0, 123, 3287], "+Y:delta": [0, 0, 123, 3164], "+Y:mux:0@u1": [0, 1, 0, 0], "(inv (- Y (shift Y -1)))": [0, 0, 7140032698703662797738843850677079994008890494764411691912717718824476104555, 3360169830129683427348062767991772150127135670973124639497616599557527886205]}
77+
{"X": [0, 3287, 123, 0], "Y": [0, 0, 123, 3287], "+Y:delta": [0, 0, 123, 3164], "+Y:mux:0@u2": [0, 0, 2, 1], "(inv (- Y (shift Y -1)))": [0, 0, 7140032698703662797738843850677079994008890494764411691912717718824476104555, 3360169830129683427348062767991772150127135670973124639497616599557527886205]}
78+
{"X": [0, 3287, 123, 0], "Y": [0, 0, 123, 3287], "+Y:delta": [0, 0, 123, 3164], "+Y:mux:0@u2": [0, 0, 1, 2], "(inv (- Y (shift Y -1)))": [0, 0, 7140032698703662797738843850677079994008890494764411691912717718824476104555, 3360169830129683427348062767991772150127135670973124639497616599557527886205]}
79+
{"X": [0, 3287, 123, 0], "Y": [0, 0, 123, 3287], "+Y:delta": [0, 0, 123, 3164], "+Y:mux:0@u2": [0, 2, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 7140032698703662797738843850677079994008890494764411691912717718824476104555, 3360169830129683427348062767991772150127135670973124639497616599557527886205]}
80+
{"X": [0, 3287, 123, 0], "Y": [0, 0, 123, 3287], "+Y:delta": [0, 0, 123, 3164], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 7140032698703662797738843850677079994008890494764411691912717718824476104554, 3360169830129683427348062767991772150127135670973124639497616599557527886205]}
81+
{"X": [0, 3287, 123, 0], "Y": [0, 0, 123, 3287], "+Y:delta": [0, 0, 123, 3164], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 7140032698703662797738843850677079994008890494764411691912717718824476104556, 3360169830129683427348062767991772150127135670973124639497616599557527886205]}
82+
{"X": [0, 3287, 123, 0], "Y": [0, 0, 123, 3287], "+Y:delta": [0, 0, 123, 3164], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 7140032698703662797738843850677079994008890494764411691912717718824476104555, 3360169830129683427348062767991772150127135670973124639497616599557527886204]}
83+
{"X": [0, 3287, 123, 0], "Y": [0, 0, 123, 3287], "+Y:delta": [0, 0, 123, 3164], "+Y:mux:0@u1": [0, 0, 1, 1], "(inv (- Y (shift Y -1)))": [0, 0, 7140032698703662797738843850677079994008890494764411691912717718824476104555, 3360169830129683427348062767991772150127135670973124639497616599557527886206]}

0 commit comments

Comments
 (0)