Relacy requires changing the source code under test to add the debug information with the $ macro, e.g., cv.notify($). With C++20's std::source_location, we can default the debug parameter. This allows the code under test to spell cv.notify() while still being passed the correct file/line/function debug information.
Additionally, this commit fixes the spec for std::atomic to
use noexcept for members like store, load
atomic's constructor in C++20 value initializes T
Test plan: Verified build with the following on a Linux environment
CXX_STD=c++11 make clean && make -j $(nproc) all
CXX_STD=c++20 make clean && make -j $(nproc) all
Relacy requires changing the source code under test to add the debug information with the
$macro, e.g.,cv.notify($). With C++20'sstd::source_location, we can default the debug parameter. This allows the code under test to spellcv.notify()while still being passed the correct file/line/function debug information.Additionally, this commit fixes the spec for std::atomic to
Test plan: Verified build with the following on a Linux environment