1/*
2 Copyright (C) 2000
3 All Rights Reserved. Salih Yurttas, ZCubes, BitsOfCode Software Systems, Inc..
4
5 Permission to use, copy, modify, and distribute this
6 software and its documentation for EDUCATIONAL purposes
7 and without fee is hereby granted provided that this
8 copyright notice appears in all copies.
9
10 date : January 1, 2000.
11 author : Salih Yurttas.
12
13 assert_00.cpp
14*/
15
16
17#include <iostream>
18
19#include <cassert>
20
21using namespace std;
22
23int main(int argc, char* argv[]) {
24
25 int a;
26
27 cout << "a : ";
28 cin >> a;
29 cout << endl;
30
31 assert(a>=0);
32
33 cout << "a = " << a << endl;
34
35 a += 1;
36
37 cout << endl;
38 cout << "a = " << a << endl;
39 cout << endl;
40
41}