source: CIVL/examples/languageFeatures/cast.cvl@ 4e86cdd

/* Commandline execution:
 *              civl verify cast.cvl
 * */
#include<civlc.cvh>

void main() {
  int i = 0;
  float j = (float) i;
  
  $assert((j == 0.0));
}