-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtests.py
127 lines (67 loc) · 2.6 KB
/
tests.py
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
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
def dummy1(a):
return True
def dummy2(a):
return False
def dummy3(a, b, c, d):
return True
def simple1(a):
return not a
def simple2(a, b):
return a or b
def simple3(a, b, c, d):
return a and b or not c and d
def simple4(a, b, c, abc):
return a and b or not c and not abc
def simple5(a, b, c):
return a or b and c
def simple6(a):
return a and not a
def medium1(a, b):
return a and b or (b and not a)
def medium2(a, b, c, d, e):
return a and b or (b and not a) or (c and e) or (not c and e) or (c and not e) or (not c and not e)
def medium3(a, b, c, d, e):
return (a and b) and (b and not a) or (c and e) and (not c and e) or (c and not e) or (not c and not e)
def medium4(a, b, c, d, e, f):
return a and not b or c and not d and e and f
def medium5(a, b, c, d, e, f): return (a and not b and not d) and (not f or e or not c and f) or (
a and not b and not c and d) or (a and not b and c and d) or (c and not d and e and f) and (c or not e)
def medium6(a, b, c, d, e, f):
return a and not b or c and not d and e and f
def ultimate1(a, b, c, d, e, f, g, h, j, k, i, o, p, u, y, t, r, z, v, n, m, s):
return a and b or not c and not d and e and f or g and h and j or not k and i
def ege1(x, y, z, w):
return (w or y) and (y or not x) and (z or not y)
def ege2(x, y, z, w):
return (not x or y or z) and (x or not z or not w)
def ege3(x, y, z, w):
return (x and not y) or (y == z) or not w
def ege4(x, y, z):
return (not x or not z) <= (x == y)
def ege5(x, y, z, w):
return ((x <= z) and (z <= w)) or (y == (x or z))
def ege6(x, y, z, w):
return (not x or y) and (x or not z) and (x == (not w))
def ege7(x, y, z, w):
return ((x and (not y)) <= ((not z) or (not w))) and ((w <= x) or y)
def denchik1(a, b, c):
return a and (b or c)
def wiki1(x1, x2, x3):
return x2 and not x3 or x1
def wiki2(x1, x2, x3, x4):
return (not x1 and not x2 and not x3) or (x1 and x2 and x3) or (not x1 and x3 and not x4)
def wiki3(x, y, z, t):
return (y and not z and not t) or (x and not y) or (x and z)
#
# Performance tests
#
def long_running1(x, y, z, t, e):
return (y and not z and not t) or (x and not y) or (x and z) or e
def long_running2(x, y, z, t, e, w):
return (x and y or z) or (t and w) or w and (e and x)
def long_running3(x, y, z, t, e, w, a):
return (x and y or z) or (t and w) or w and (e and x) or (e and a)
def long_running4(x, y, z, t, e, w, a, x1, x2, x4,x5,x3,x6,x7):
return (x and y or z) or (t and w) or w and (e and x) or (e and a)
def misha(a, b, c):
return a and (b or c)