/* Commandline execution:
 *		civl verify compare.cvl
 * */
#include<civlc.cvh>

void main() {
  $assert((1 > 0.0));
  $assert((1 > 0));
  $assert((5 <= 5.1));
  $assert((5 <= 5));
}