Differential Assertion Checking

Feb 23, 2016

Category:

Documents

Author: jarah

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

Welcome message from author

This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.

Transcript

Shuvendu LahiriKenneth McMillanRahul SharmaChris HawblitzelDifferential Assertion Checking

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