source: CIVL/examples/languageFeatures/compare.cvl@ 2bad4e4

/* 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));
}