/*
- * 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
///
}
/* Constructor -- calls original constructor */
- AnnotatedAtomicCounter(int val) : Base<T>(val) {}
+ explicit AnnotatedAtomicCounter(int val) : Base<T>(val) {}
/* Overloads of original member functions (as needed) */