source: CIVL/examples/languageFeatures/compare.cvl@ b50d2e7

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

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