class XBT_PRIVATE LivenessChecker : public Checker {
public:
- LivenessChecker(Session& session);
+ explicit LivenessChecker(Session& session);
~LivenessChecker() = default;
void run() override;
RecordTrace getRecordTrace() override;
class XBT_PRIVATE SafetyChecker : public Checker {
simgrid::mc::ReductionMode reductionMode_ = simgrid::mc::ReductionMode::unset;
public:
- SafetyChecker(Session& session);
+ explicit SafetyChecker(Session& session);
~SafetyChecker() = default;
void run() override;
RecordTrace getRecordTrace() override;
/* DO NOT EVER CHANGE THIS FILE */
/* */
/* change simcalls specification in src/simix/simcalls.in */
+/* Copyright (c) 2014-2017. The SimGrid Team. All rights reserved. */
/**********************************************************************/
/*
/* DO NOT EVER CHANGE THIS FILE */
/* */
/* change simcalls specification in src/simix/simcalls.in */
+/* Copyright (c) 2014-2017. The SimGrid Team. All rights reserved. */
/**********************************************************************/
/*
/* DO NOT EVER CHANGE THIS FILE */
/* */
/* change simcalls specification in src/simix/simcalls.in */
+/* Copyright (c) 2014-2017. The SimGrid Team. All rights reserved. */
/**********************************************************************/
/*
/* DO NOT EVER CHANGE THIS FILE */
/* */
/* change simcalls specification in src/simix/simcalls.in */
+/* Copyright (c) 2014-2017. The SimGrid Team. All rights reserved. */
/**********************************************************************/
/*
class Arg(object):
- def __init__(self, name, type):
+ def __init__(self, name, thetype):
self.name = name
- self.type = type
+ self.type = thetype
def field(self):
return self.simcall_types[self.type]
'/* */\n')
fd.write(
'/* change simcalls specification in src/simix/simcalls.in */\n')
+ fd.write(
+ '/* Copyright (c) 2014-2017. The SimGrid Team. All rights reserved. */\n')
fd.write(
'/**********************************************************************/\n\n')
fd.write('/*\n')
XBT_WARN("Failed to register alternate signal stack: %s", strerror(errno));
return;
}
- if (!(old_stack.ss_flags & SS_DISABLE)) {
+ if (not(old_stack.ss_flags & SS_DISABLE)) {
XBT_DEBUG("An alternate stack was already installed (sp=%p, size=%zd, flags=%x). Restore it.",
old_stack.ss_sp, old_stack.ss_size, old_stack.ss_flags);
sigaltstack(&old_stack, nullptr);
int result;
int i;
int index;
- int rank;
result = MPI_IDENT;
if (size_ != group2->size()) {
int sz = group2->size();
for (i = 0; i < sz; i++) {
index = this->index(i);
- rank = group2->rank(index);
+ int rank = group2->rank(index);
if (rank == MPI_UNDEFINED) {
result = MPI_UNEQUAL;
break;
extra->recvcounts = xbt_new(int, size);
extra->sendcounts = xbt_new(int, size);
int known = 0;
- int dt_size_recv = 1;
extra->datatype2 = encode_datatype(recvtype, &known);
- dt_size_recv = recvtype->size();
+ int dt_size_recv = recvtype->size();
void* sendtmpbuf = static_cast<char*>(sendbuf);
int* sendtmpcounts = sendcounts;
+/* Copyright (c) 2017. The SimGrid Team. All rights reserved. */
+
+/* This program is free software; you can redistribute it and/or modify it
+ * under the terms of the license (GNU LGPL) which comes with this package. */
+
/* Bug report: https://github.com/simgrid/simgrid/issues/40
*
* Task.listen used to be on async mailboxes as it always returned false.
return "".join(res)
-def formats(list):
- return sorted(((Decimal(i), j) for i, j in list), key=lambda x: x[0], reverse=True)
+def formats(ll):
+ return sorted(((Decimal(i), j) for i, j in ll), key=lambda x: x[0], reverse=True)
for root, dirnames, filenames in os.walk(sys.argv[1]):
for filename in fnmatch.filter(filenames, '*.xml'):
xml = format(xml, time_formats, "bb_lat")
# print xml
- file = open(path, "w")
- file.write(xml)
- file.close()
+ outfile = open(path, "w")
+ outfile.write(xml)
+ outfile.close()
self.filename = os.path.basename(filename)
self.abspath = os.path.abspath(filename)
self.f = open(self.filename_raw)
-
+
self.linenumber = 0
def linenumber(self):
self.output_pipe_stdout.sort(key=lambda x: x[:self.sort].lower())
diff = list(difflib.unified_diff(self.output_pipe_stdout, stdouta,lineterm="",fromfile='expected', tofile='obtained'))
- if len(diff) > 0:
+ if len(diff) > 0:
print("Output of <"+cmdName+"> mismatch:")
if self.sort >= 0: # If sorted, truncate the diff output and show the unsorted version
difflen = 0;