source: CIVL/examples/languageFeatures/assignIntWtReal.cvl@ b144b24

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