-
Type: Build Failure
-
Resolution: Fixed
-
Priority: Major - P3
-
Affects Version/s: None
-
Component/s: None
-
None
make-check-test failed on ! Ubuntu 20.04 MSAN
Host: N/A
Project: WiredTiger (develop)
Commit: diff: WT-11611 Implement a functional model of WT with GET, INSERT, REMOVE, and UPDATE (#9652)
WT-11611Implement a functional model of WT with GET, INSERT, REMOVE, and UPDATE
- Add verification. Refactored.
- Fixed build on gcc
- Many small fixes.
- Added std::optional, exceptions, and guard util classes.
- Added the util.h (forgot to include it in the last commit)
- Switched the sorted list of updates to std::deque
- Fix compile issues on macOS
- Minor C++ fixes.
- Restructure the code into component-based files. Add WT_TS_LATEST.
- Additional refactoring.
- Handle nulls
- Minor fix
- Redefine model::data_value using std::variant
- Redefine model::data_value using std::variant
- Make gcc happy.
- Incorporated more C++ suggestions.
- Items now use shared pointers, and get() returns a copy instead of a reference to data_value. Minor changes. | 03 Oct 23 13:17 UTC
Evergreen Subscription: ; Evergreen Event: