Differential Assertion Checking

download Differential Assertion Checking

of 17

  • date post

    23-Feb-2016
  • Category

    Documents

  • view

    32
  • download

    0

Embed Size (px)

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