~/code/rng-clean 3.1.2 !2 ?4 > python -u /rocqstat/external/obviews/bin/obviews.py --serve --datadir /rocqstat/external/obviews/data/obviews /rocqstat/benchmarks/binarysearch/R5/sieve_ram_arm_v7r_le.elf binarysearch_main /workdir/benchmarks/binarysearch
INFO: server mode enabled.
INFO: listening to http://localhost:34371
----------------------------------------
Exception occurred during processing of request from ('127.0.0.1', 56900)
Traceback (most recent call last):
File "/usr/lib/python3.10/socketserver.py", line 316, in _handle_request_noblock
self.process_request(request, client_address)
File "/usr/lib/python3.10/socketserver.py", line 347, in process_request
self.finish_request(request, client_address)
File "/usr/lib/python3.10/socketserver.py", line 360, in finish_request
self.RequestHandlerClass(request, client_address, self)
File "/usr/lib/python3.10/socketserver.py", line 747, in __init__
self.handle()
File "/usr/lib/python3.10/http/server.py", line 433, in handle
self.handle_one_request()
File "/usr/lib/python3.10/http/server.py", line 421, in handle_one_request
method()
File "/rocqstat/external/obviews/bin/obviews.py", line 1483, in do_GET
response_code , headers, data = self.route(urlP.path, query)
File "/rocqstat/external/obviews/bin/obviews.py", line 1456, in route
return DO_MAP[comps[1]](comps[2:], query)
File "/rocqstat/external/obviews/bin/obviews.py", line 1356, in do_function
g.gen(dec, out)
File "/rocqstat/external/obviews/bin/obviews.py", line 917, in gen
b.gen(dec, out)
File "/rocqstat/external/obviews/bin/obviews.py", line 826, in gen
dec.bb_body(self, out)
File "/rocqstat/external/obviews/bin/obviews.py", line 730, in bb_body
dec.bb_body(bb, out)
File "/rocqstat/external/obviews/bin/obviews.py", line 681, in bb_body
percent = val * 100. / self.task.sum.get_val(stat)
ZeroDivisionError: float division by zero
----------------------------------------
jordr
commented
4 months ago