fuzz-d/remove_known_errors.sh at main · mutatecsharp/fuzz-d · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
for dir in result/java_crash/*; do
	if $(cat $dir/fuzz-d.log | grep "Compiler crash: true" >/dev/null); then rm -rf $dir; fi
done

for dir in result/java_crash/*; do
	if $(cat $dir/fuzz-d.log | grep "incompatible types" >/dev/null); then rm -rf $dir; fi
done

for dir in result/java_crash/*; do
	if $(cat $dir/fuzz-d.log | grep "incompatible bounds" >/dev/null); then rm -rf $dir; fi
done

for dir in result/java_crash/*; do
	if $(cat $dir/fuzz-d.log | grep "no suitable method" >/dev/null); then rm -rf $dir; fi
done

for dir in result/java_crash/*; do
	if $(cat $dir/fuzz-d.log | grep "lambda" >/dev/null); then rm -rf $dir; fi
done

for dir in result/java_crash/*; do
	if $(cat $dir/fuzz-d.log | grep "unreachable statement" >/dev/null); then rm -rf $dir; fi
done

for dir in result/execute_crash/*; do
	if $(cat $dir/fuzz-d.log | grep "CodePoint" >/dev/null); then rm -rf $dir; fi
done

for dir in result/execute_crash/*; do
	if $(cat $dir/fuzz-d.log | grep " hi0_: intdef iife" >/dev/null); then rm -rf $dir; fi
done

for dir in result/execute_crash/*; do
	if $(cat $dir/fuzz-d.log | grep "not defined" >/dev/null); then rm -rf $dir; fi
done

for dir in result/execute_crash/*; do
	if $(cat $dir/fuzz-d.log | grep "Value was either too large or too small for an Int32" >/dev/null); then rm -rf $dir; fi
done

for dir in result/execute_crash/*; do
	if $(cat $dir/fuzz-d.log | grep "cannot fit 'int' into an index-sized integer" >/dev/null); then rm -rf $dir; fi
done

for dir in result/resolver/*; do
	if $(cat $dir/fuzz-d.log | grep "All elements of display must have some common supertype" >/dev/null); then rm -rf $dir; fi
done

for dir in result/resolver/*; do
	if $(cat $dir/fuzz-d.log | grep "type of left argument to +" >/dev/null); then rm -rf $dir; fi
done

for dir in result/resolver/*; do
	if $(cat $dir/fuzz-d.log | grep "type parameter is not declared in this scope" >/dev/null); then rm -rf $dir; fi
done

for dir in result/resolver/*; do
	if $(cat $dir/fuzz-d.log | grep "Error: the type of this expression is underspecified" >/dev/null); then rm -rf $dir; fi
done

for dir in result/compiler_crash/*; do
        if $(cat $dir/fuzz-d.log | grep "All elements of display must have some common supertype" >/dev/null); then rm -rf $dir; fi
done

for dir in result/compiler_crash/*; do
        if $(cat $dir/fuzz-d.log | grep "type of left argument to +" >/dev/null); then rm -rf $dir; fi
done

for dir in result/compiler_crash/*; do
	if $(cat $dir/fuzz-d.log | grep "type parameter is not declared in this scope" >/dev/null); then rm -rf $dir; fi
done

for dir in result/compiler_crash/*; do
	if $(cat $dir/fuzz-d.log | grep "error CS0103" >/dev/null); then rm -rf $dir; fi
done

for dir in result/compiler_crash/*; do
	if $(cat $dir/fuzz-d.log | grep "at Microsoft.Dafny.Translator.TrForall_NewValueAssumption(IToken tok, List\`1 boundVars, List\`1 bounds, Expression range, Expression lhs, Expression rhs, Attributes attributes, ExpressionTranslator etran, ExpressionTranslator prevEtran) in /home/alex/dafny/Source/DafnyCore/Verifier/Translator.TrStatement.cs:line 1348" >/dev/null); then rm -rf $dir; fi
done

for dir in result/compiler_crash/*; do
	if $(cat $dir/fuzz-d.log | grep "Error: the type of this expression is underspecified" >/dev/null); then rm -rf $dir; fi
done

for dir in result/compiler_crash/*; do
	if $(cat $dir/fuzz-d.log | grep "error CS1628" >/dev/null); then rm -rf $dir; fi
done

for dir in result/compiler_crash/*; do
	if $(cat $dir/fuzz-d.log | grep "Error: branches of if-then-else have incompatible types" >/dev/null); then rm -rf $dir; fi
done

for dir in result/compiler_crash/*; do
	if $(cat $dir/fuzz-d.log | grep "Error: the two branches of an if-then-else expression must have the same type" >/dev/null); then rm -rf $dir; fi
done

rm -rf result/success/*