Script started on Tue Oct  6 10:22:00 1998
everest% CC assert.C
everest% 
everest% a.out
The first assertion is true
The second assertion is false
Assertion failed: b < a, file assert.C, line 16
Abort (core dumped)
everest% 
everest% pr -t -n2 assert.C
 1      //  File: assert.C
 2      //  Using the assert function.
 3      
 4      
 5      #include <iostream.h>
 6      #include <iomanip.h>
 7      #include <assert.h>
 8      
 9      main() {
10         int a = 3, b =15 ;
11      
12         cout << "The first assertion is true" << endl ;
13         assert(a < b) ;
14      
15         cout << "The second assertion is false" << endl ;
16         assert(b < a) ;
17      
18         cout << "This line never gets printed" << endl ;
19      }
everest% 
everest% CC -DNDEG         
everest% CC -DNDEBUG assert.C
everest% 
everest% a.out
The first assertion is true
The second assertion is false
This line never gets printed
everest% 
everest% exit
everest% 
script done on Tue Oct  6 10:22:36 1998