Yurttas/PL/OOL/Cplusplus/F/02/06/01/00/assert 00.cpp

 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}