00001 00013 #include <iostream> 00014 #include <cassert> // assert 00015 using namespace std; 00016 00017 int main() 00018 { 00019 int i; 00020 00021 cout << "Introduzca un número entero que no sea el 1:"<< endl; 00022 cin >> i; 00023 00024 assert(i!=1); // El programa se rompe si i vale 1 00025 // El programador sabe que i debe ser distinto a 1, y si no lo es 00026 // la ejecución ni siquiera debe seguir. Sólo debe informar que algo está mal 00027 00028 cout << "¡Muy bien! es usted un alumno muy obediente." << endl; 00029 00030 return 0; 00031 }