/* 
 * Commandline example:
 *     civl verify cAssert.cvl
 */
#include<assert.h>

void main(){
  int x = 1, y = 2;
  assert(x < y);
  assert(x > y);
}