/*
- * Copyright 2016 Facebook, Inc.
+ * Copyright 2013-present Facebook, Inc.
*
* Licensed under the Apache License, Version 2.0 (the "License");
* you may not use this file except in compliance with the License.
}
}
} // for bug
-} // TEST
+}
/// Test DSched support for auxiliary data and global invariants
///
/** Macro for inline definition of auxiliary actions */
#define AUX_ACT(act) \
- { \
+ do { \
AUX_THR(func_) = __func__; \
AUX_THR(line_) = __LINE__; \
AuxAct auxfn( \
[&](bool success) { \
- if (success); \
+ if (success) {} \
if (true) {act} \
} \
); \
DeterministicSchedule::setAuxAct(auxfn); \
- }
+ } while (0)
/** Alias for original class */
template <typename T>
}
/* Constructor -- calls original constructor */
- AnnotatedAtomicCounter(int val) : Base<T>(val) {}
+ explicit AnnotatedAtomicCounter(int val) : Base<T>(val) {}
/* Overloads of original member functions (as needed) */