model-checker icon indicating copy to clipboard operation
model-checker copied to clipboard

Published 20 hours ago • verified publisher icon computersforpeace
→

Metadata

CDSChecker: A Model Checker for C11 and C++11 Atomics

Results 1 model-checker issues
Sort by recently updated
recently updated
newest added

OUT OF BOOTSTRAP MEMORY

Hello! What can I do here? I was trying to run the model checker, but it does not seem to work. In the ./mymemory.cc, it gives an exception in HandleEarlyAllocationRequest....

Ricagraca avatar Ricagraca

← Metadata

21
Stars
7
Forks
Watchers

Owner

verified publisher icon computersforpeace

Metadata

CDSChecker: A Model Checker for C11 and C++11 Atomics

Back