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
|
#!/usr/bin/env python3
# ############################################################################ #
# #
# ::: :::::::: #
# run :+: :+: :+: #
# +:+ +:+ +:+ #
# By: charles <me@cacharle.xyz> +#+ +:+ +#+ #
# +#+#+#+#+#+ +#+ #
# Created: 2020/09/27 11:36:34 by charles #+# #+# #
# Updated: 2020/09/27 11:36:34 by charles ### ########.fr #
# #
# ############################################################################ #
# [x] invalid state switch
# [x] none existant fork
# [x] timestamp not in order
# [ ] crash
# [ ] should be infinity
# [ ] argument error
# [x] print lines after died
# [x] bad output format
# [x] should be dead
import sys
import subprocess
import argparse
import config
from test import Test
def main():
parser = argparse.ArgumentParser(description="Philosophers test")
parser.add_argument(
"-p", "--philo",
help="Id of the philosophers to test ",
required=True,
type=int,
choices=[1, 2, 3]
)
parser.add_argument(
"-b", "--build",
help="Build and exit",
action="store_true"
)
parser.add_argument(
"-g", "--pager",
help="Open {} in a pager after the test".format(config.RESULT_FILE),
action="store_true"
)
args = parser.parse_args()
if config.BUILD_BEFORE or args.build:
try:
print("=====================================BUILD======================================")
subprocess.run(config.BUILD_CMD.format(path=config.PHILO_PATHS[0]).split(' '), check=True)
print("================================================================================")
except subprocess.CalledProcessError:
sys.exit(1)
if args.build:
sys.exit(0)
if args.philo != 1:
sys.exit(1)
Test.new_error([])
Test.new_error(["a", "a", "a", "a"])
Test.new_error(["aaaaaaaaaaaaaaaaaaaaaaaaaaaaa", "a", "a", "a"])
Test.new_error(["10"])
Test.new_error(["10", "10"])
Test.new_error(["10", "10", "10"])
Test.new_error(["10", "10", "10", "10", "10", "10"])
Test.new_error(["-1", "10", "10", "10"])
Test.new_error(["10", "-1", "10", "10"])
Test.new_error(["10", "10", "-1", "10"])
Test.new_error(["10", "10", "10", "-1"])
Test.new_error(["10", "10", "10", "10", "-1"])
Test.new_error([str(config.UINT_MAX + 1), "10", "10", "10"])
Test.new_error(["10", str(config.UINT_MAX + 1), "10", "10"])
Test.new_error(["10", "10", str(config.UINT_MAX + 1), "10"])
Test.new_error(["10", "10", "10", str(config.UINT_MAX + 1)])
Test.new_error(["10", "10", "10", "10", str(config.UINT_MAX + 1)])
Test.new_error([str(-config.UINT_MAX), "10", "10", "10"])
Test.new_error(["10", str(-config.UINT_MAX), "10", "10"])
Test.new_error(["10", "10", str(-config.UINT_MAX), "10"])
Test.new_error(["10", "10", "10", str(-config.UINT_MAX)])
Test.new_error(["10", "10", "10", "10", str(-config.UINT_MAX)])
Test.new_error(["0", "100", "100", "100"])
Test.new_error(["1", "100", "100", "100"])
Test(10, 100, 100, 10)
Test(10, 200, 10, 10, infinite=True)
try:
Test.run_all(config.PHILO_EXEC_PATHS[0])
except KeyboardInterrupt:
pass
finally:
Test.write_failed()
if args.pager:
subprocess.run([*config.PAGER_CMD, config.RESULT_FILE])
else:
print("Read {} for more information".format(config.RESULT_FILE))
if __name__ == "__main__":
main()
|
