forked from prosyslab-classroom/hardcore-ocaml
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathcheck
executable file
·132 lines (123 loc) · 3.35 KB
/
check
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
128
129
130
131
132
#!/bin/bash
start_time=`date +%s.%N`
timeout 180 ./compare/compare -opt 10000000 &> /dev/null
res=$?
end_time=`date +%s.%N`
elapsed_time=$(echo "$end_time - $start_time" | bc)s
if [ $res -eq 124 ]; then
echo "compare Timeout (180s)"
elif [ $res -eq 0 ]; then
echo "compare Elapsed: ${elapsed_time}"
else
echo "compare Not Implemented"
fi
start_time=`date +%s.%N`
timeout 60 ./empty/empty -opt 10000000 &> /dev/null
res=$?
end_time=`date +%s.%N`
elapsed_time=$(echo "$end_time - $start_time" | bc)s
if [ $res -eq 124 ]; then
echo "empty Timeout (60s)"
elif [ $res -eq 0 ]; then
echo "empty Elapsed: ${elapsed_time}"
else
echo "empty Not Implemented"
fi
start_time=`date +%s.%N`
timeout 60 ./equality/equality -opt 1000 &> /dev/null
res=$?
end_time=`date +%s.%N`
elapsed_time=$(echo "$end_time - $start_time" | bc)s
if [ $res -eq 124 ]; then
echo "equality Timeout (60s)"
elif [ $res -eq 0 ]; then
echo "equality Elapsed: ${elapsed_time}"
else
echo "equality Not Implemented"
fi
timeout 180 ./file-io/gen 100000000
start_tim=`date +%s.%N`
timeout 180 ./file-io/read -opt large.txt &> /dev/null
res=$?
end_time=`date +%s.%N`
elapsed_time=$(echo "$end_time - $start_time" | bc)s
if [ $res -eq 124 ]; then
echo "file-io Timeout (180s)"
elif [ $res -eq 0 ]; then
echo "file-io Elapsed: ${elapsed_time}"
else
echo "file-io Not Implemented"
fi
start_time=`date +%s.%N`
timeout 60 ./list/list -opt 10000000 &> /dev/null
res=$?
end_time=`date +%s.%N`
elapsed_time=$(echo "$end_time - $start_time" | bc)s
if [ $res -eq 124 ]; then
echo "list Timeout (60s)"
elif [ $res -eq 0 ]; then
echo "list Elapsed: ${elapsed_time}"
else
echo "list Not Implemented"
fi
start_time=`date +%s.%N`
timeout 120 ./regexp/regexp -opt 1000000 &> /dev/null
res=$?
end_time=`date +%s.%N`
elapsed_time=$(echo "$end_time - $start_time" | bc)s
if [ $res -eq 124 ]; then
echo "regexp Timeout (120s)"
elif [ $res -eq 0 ]; then
echo "regexp Elapsed: ${elapsed_time}"
else
echo "regexp Not Implemented"
fi
timeout 180 ./serialize/gen 1000000 &> /dev/null
start_time=`date +%s.%N`
timeout 60 ./serialize/gen -opt 1000000 &> /dev/null
res=$?
end_time=`date +%s.%N`
elapsed_time=$(echo "$end_time - $start_time" | bc)s
if [ $res -eq 124 ]; then
echo "serialize_gen Timeout (60s)"
elif [ $res -eq 0 ]; then
echo "serialize_gen Elapsed: ${elapsed_time}"
else
echo "serialize_gen Not Implemented"
fi
start_time=`date +%s.%N`
timeout 60 ./serialize/read -opt large.out &> /dev/null
res=$?
end_time=`date +%s.%N`
elapsed_time=$(echo "$end_time - $start_time" | bc)s
if [ $res -eq 124 ]; then
echo "serialize_read Timeout (60s)"
elif [ $res -eq 0 ]; then
echo "serialize_read Elapsed: ${elapsed_time}"
else
echo "serialize_read Not Implemented"
fi
start_time=`date +%s.%N`
timeout 60 ./string/string -opt 1000000 &> /dev/null
res=$?
end_time=`date +%s.%N`
elapsed_time=$(echo "$end_time - $start_time" | bc)s
if [ $res -eq 124 ]; then
echo "string Timeout (60s)"
elif [ $res -eq 0 ]; then
echo "string Elapsed: ${elapsed_time}"
else
echo "string Not Implemented"
fi
start_time=`date +%s.%N`
timeout 60 ./tail-recursion/tail -opt 10000000 &> /dev/null
res=$?
end_time=`date +%s.%N`
elapsed_time=$(echo "$end_time - $start_time" | bc)s
if [ $res -eq 124 ]; then
echo "tail-recursion Timeout (60s)"
elif [ $res -eq 0 ]; then
echo "tail-recursion Elapsed: ${elapsed_time}"
else
echo "tail-recursion Not Implemented"
fi