CT: Strengthen post-condition of ct_memcmp
#1463
+2
−1
Open
ct_memcmp
#1463