Differential Assertion Checking

Post on 12-Jan-2016

46 views 0 download

Preview:

Click to see full reader

Report this document

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 of Differential Assertion Checking

Shuvendu LahiriKenneth McMillanRahul SharmaChris HawblitzelDifferential Assertion Checking

1Assertion Checkingvoid strcopy(char* dst, char*src, int size){ int i=0; for(;i

Copyright © 2022 FDOCUMENTS