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-11611 Implement 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:

Task Logs (make-check-test)