source: CIVL/examples/languageFeatures/compare.cvl@ 5ddac35

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