SemanticDiff hwlocality
Fix aftermath of proptest switch
#63
Merged

Loading