Code Contracts

Code Contracts : What, Why and How?

https://sbjoshi.github.io

Faculty & Researcher

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

Code Contracts : What, Why and How? Saurabh Joshi https://sbjoshi.github.io Faculty & Researcher Department of CSE , IITH This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License .



	#include <iostream>

	int main()
	{
	std::cout << "Hello World!" << std::endl;
	return 0;
	}

	/* Write a program that prints the first
	5 prime numbers */
	#include <iostream>

	int main()
	{
	std::cout << "Hello World!" << std::endl;
	return 0;
	}


	int foo(int x)
	{

	int tmp=x;
	x=x+1;
	if(x<tmp)
	{
	launch_nukes_and_destroy_the_world();
	}
	return x;

	}


	int64_t foo(int64_t x)
	{

	int64_t tmp=x;
	x=x+1;
	if(x<tmp)
	{
	launch_nukes_and_destroy_the_world();
	}
	return x;

	}

Code Contracts : What, Why and How?

Testing

Static Reachability

	void add_to_node(node_t* n,int val)
	{
	assert(n!=nullptr);
	n->val += val;
	}