Skip to content

Commit 8887e28

Browse files
ysthakurysthakur
authored
Remove leftover bad output from FuzzTest
1 parent 8444649 commit 8887e28

File tree

1 file changed

+0
-214
lines changed

1 file changed

+0
-214
lines changed

‎src/test/scala/fred/FuzzTests.scala

-214
Original file line numberDiff line numberDiff line change
@@ -17,220 +17,6 @@ import fred.GenUtil.{GenStmt, GeneratedProgram}
1717
class FuzzTests
1818
extends AnyPropSpec with ScalaCheckPropertyChecks with should.Matchers {
1919

20-
val bad = GeneratedProgram(
21-
List(
22-
TypeDef(
23-
Spanned("OptT0", Span(-1, -1)),
24-
List(
25-
EnumCase(
26-
Spanned("SomeT0", Span(-1, -1)),
27-
List(FieldDef(
28-
false,
29-
Spanned("value", Span(-1, -1)),
30-
TypeRef("T0", Span(-1, -1)),
31-
Span(-1, -1)
32-
)),
33-
Span(-1, -1)
34-
),
35-
EnumCase(Spanned("NoneT0", Span(-1, -1)), List(), Span(-1, -1))
36-
),
37-
Span(-1, -1)
38-
),
39-
TypeDef(
40-
Spanned("OptT1", Span(-1, -1)),
41-
List(
42-
EnumCase(
43-
Spanned("SomeT1", Span(-1, -1)),
44-
List(FieldDef(
45-
false,
46-
Spanned("value", Span(-1, -1)),
47-
TypeRef("T1", Span(-1, -1)),
48-
Span(-1, -1)
49-
)),
50-
Span(-1, -1)
51-
),
52-
EnumCase(Spanned("NoneT1", Span(-1, -1)), List(), Span(-1, -1))
53-
),
54-
Span(-1, -1)
55-
),
56-
TypeDef(
57-
Spanned("T1", Span(-1, -1)),
58-
List(EnumCase(
59-
Spanned("T1", Span(-1, -1)),
60-
List(
61-
FieldDef(
62-
true,
63-
Spanned("f0", Span(-1, -1)),
64-
TypeRef("OptT1", Span(-1, -1)),
65-
Span(-1, -1)
66-
),
67-
FieldDef(
68-
true,
69-
Spanned("f1", Span(-1, -1)),
70-
TypeRef("OptT0", Span(-1, -1)),
71-
Span(-1, -1)
72-
),
73-
FieldDef(
74-
true,
75-
Spanned("f2", Span(-1, -1)),
76-
TypeRef("OptT1", Span(-1, -1)),
77-
Span(-1, -1)
78-
),
79-
FieldDef(
80-
true,
81-
Spanned("f3", Span(-1, -1)),
82-
TypeRef("OptT1", Span(-1, -1)),
83-
Span(-1, -1)
84-
)
85-
),
86-
Span(-1, -1)
87-
)),
88-
Span(-1, -1)
89-
),
90-
TypeDef(
91-
Spanned("T0", Span(-1, -1)),
92-
List(EnumCase(
93-
Spanned("T0", Span(-1, -1)),
94-
List(
95-
FieldDef(
96-
true,
97-
Spanned("f0", Span(-1, -1)),
98-
TypeRef("OptT0", Span(-1, -1)),
99-
Span(-1, -1)
100-
),
101-
FieldDef(
102-
true,
103-
Spanned("f1", Span(-1, -1)),
104-
TypeRef("OptT1", Span(-1, -1)),
105-
Span(-1, -1)
106-
),
107-
FieldDef(
108-
true,
109-
Spanned("f2", Span(-1, -1)),
110-
TypeRef("OptT0", Span(-1, -1)),
111-
Span(-1, -1)
112-
),
113-
FieldDef(
114-
true,
115-
Spanned("f3", Span(-1, -1)),
116-
TypeRef("OptT1", Span(-1, -1)),
117-
Span(-1, -1)
118-
)
119-
),
120-
Span(-1, -1)
121-
)),
122-
Span(-1, -1)
123-
)
124-
),
125-
Map("vT1_0" -> "T1", "vT1_1" -> "T1", "vT0_0" -> "T0", "vT0_1" -> "T0"),
126-
List(
127-
(
128-
"vT1_0",
129-
CtorCall(
130-
Spanned("T1", Span(-1, -1)),
131-
List(
132-
(
133-
Spanned("f0", Span(-1, -1)),
134-
CtorCall(Spanned("NoneT1", Span(-1, -1)), List(), Span(-1, -1))
135-
),
136-
(
137-
Spanned("f1", Span(-1, -1)),
138-
CtorCall(Spanned("NoneT0", Span(-1, -1)), List(), Span(-1, -1))
139-
),
140-
(
141-
Spanned("f2", Span(-1, -1)),
142-
CtorCall(Spanned("NoneT1", Span(-1, -1)), List(), Span(-1, -1))
143-
),
144-
(
145-
Spanned("f3", Span(-1, -1)),
146-
CtorCall(Spanned("NoneT1", Span(-1, -1)), List(), Span(-1, -1))
147-
)
148-
),
149-
Span(-1, -1)
150-
)
151-
),
152-
(
153-
"vT1_1",
154-
CtorCall(
155-
Spanned("T1", Span(-1, -1)),
156-
List(
157-
(
158-
Spanned("f0", Span(-1, -1)),
159-
CtorCall(Spanned("NoneT1", Span(-1, -1)), List(), Span(-1, -1))
160-
),
161-
(
162-
Spanned("f1", Span(-1, -1)),
163-
CtorCall(Spanned("NoneT0", Span(-1, -1)), List(), Span(-1, -1))
164-
),
165-
(
166-
Spanned("f2", Span(-1, -1)),
167-
CtorCall(Spanned("NoneT1", Span(-1, -1)), List(), Span(-1, -1))
168-
),
169-
(
170-
Spanned("f3", Span(-1, -1)),
171-
CtorCall(Spanned("NoneT1", Span(-1, -1)), List(), Span(-1, -1))
172-
)
173-
),
174-
Span(-1, -1)
175-
)
176-
),
177-
(
178-
"vT0_0",
179-
CtorCall(
180-
Spanned("T0", Span(-1, -1)),
181-
List(
182-
(
183-
Spanned("f0", Span(-1, -1)),
184-
CtorCall(Spanned("NoneT0", Span(-1, -1)), List(), Span(-1, -1))
185-
),
186-
(
187-
Spanned("f1", Span(-1, -1)),
188-
CtorCall(Spanned("NoneT1", Span(-1, -1)), List(), Span(-1, -1))
189-
),
190-
(
191-
Spanned("f2", Span(-1, -1)),
192-
CtorCall(Spanned("NoneT0", Span(-1, -1)), List(), Span(-1, -1))
193-
),
194-
(
195-
Spanned("f3", Span(-1, -1)),
196-
CtorCall(Spanned("NoneT1", Span(-1, -1)), List(), Span(-1, -1))
197-
)
198-
),
199-
Span(-1, -1)
200-
)
201-
),
202-
(
203-
"vT0_1",
204-
CtorCall(
205-
Spanned("T0", Span(-1, -1)),
206-
List(
207-
(
208-
Spanned("f0", Span(-1, -1)),
209-
CtorCall(Spanned("NoneT0", Span(-1, -1)), List(), Span(-1, -1))
210-
),
211-
(
212-
Spanned("f1", Span(-1, -1)),
213-
CtorCall(Spanned("NoneT1", Span(-1, -1)), List(), Span(-1, -1))
214-
),
215-
(
216-
Spanned("f2", Span(-1, -1)),
217-
CtorCall(Spanned("NoneT0", Span(-1, -1)), List(), Span(-1, -1))
218-
),
219-
(
220-
Spanned("f3", Span(-1, -1)),
221-
CtorCall(Spanned("NoneT1", Span(-1, -1)), List(), Span(-1, -1))
222-
)
223-
),
224-
Span(-1, -1)
225-
)
226-
)
227-
),
228-
List(
229-
GenStmt.Assign("vT0_0", "f1", "T1", "vT1_0"),
230-
GenStmt.Assign("vT0_1", "f1", "T1", "vT1_0")
231-
)
232-
)
233-
23420
def fuzz(prog: GeneratedProgram, out: String): Unit = {
23521
val ast = prog.asAst
23622
val settings = Settings(includeMemcheck = true)

0 commit comments

Comments
 (0)