differential assertion checking
Post on 12-Jan-2016
47 Views
Preview:
DESCRIPTION
Differential Assertion Checking. Shuvendu Lahiri Kenneth McMillan Rahul Sharma Chris Hawblitzel. Assertion Checking. void strcopy (char* dst , char* src , int size) { int i =0; for(; i
TRANSCRIPT
Shuvendu LahiriKenneth McMillanRahul SharmaChris HawblitzelDifferential Assertion Checking
1Assertion Checkingvoid strcopy(char* dst, char*src, int size){ int i=0; for(;i
top related