source: CIVL/mods/dev.civl.com/examples/languageFeatures/assignIntWtReal.cvl@ cb4d4f4

/**
 * This example demonstrates the implicit conversion of an assignment.
 * Command line execution:
 * civl verify assignIntWtReal.cvl
 */
#include<civlc.cvh>
#include<assert.h>
void main() {
  int x = 1.0;
  
  assert (x==1);
}