/**
 * 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; // illegal initializer, should report an error.
  assert (x==1);
}