opts, args = getopt.gnu_getopt(sys.argv[1:], "hv", ["Verbose"])
for option, optarg in opts:
if option == "-h":
print __doc__
sys.exit()
elif option == "-v" or option == "--verbose":
pylib_io.Verbose = 1
else:
sys.exit("Unknown option " + option)
if len(args) > 1 or len(args) < 1:
print __doc__
sys.exit()
config = pylib_econf.e_config(args[0])
nice = os.nice(0)
if config.nicelevel > nice:
os.nice(config.nicelevel - nice)
exists = pylib_eserver.eserver_get_reply(("localhost", config.port),
"version\n.\n\n")
if exists:
sys.exit("Other process listening on port %d\nVersion reply: %s" %
(config.port, exists))
server = pylib_eserver.eserver(config)
server.process()
else:
atime = self.config.abstract_time(time)
result = [self.key, self.problem, status, atime, reason, time]
for i in rest:
result.append(i)
return result
if __name__ == '__main__':
c = pylib_econf.e_config("EXAMPLE_CFG/eserver_config_test.txt")
r1 = e_runner("teststrat", c, "eprover", "--tptp3-in -xAuto -tAuto",
"GRP001+6.p", 10,
["# Processed clauses",
"# Generated clauses",
"# Clause-clause subsumption calls (NU)"])
r2 = e_runner("teststrat", c, "eprover", "--tptp3-in -xAuto -tAuto",
"RNG004-1.p", 10,
["# Processed clauses",
"# Generated clauses",
"# Clause-clause subsumption calls (NU)"])
r3 = e_runner("teststrat", c, "eprover", "--tptp3-in -xAuto -tAuto",
"SET542-6.p", 10,
["# Processed clauses",
"# Generated clauses",
