source: CIVL/examples/languageFeatures/printfBad.cvl@ 1258be5

#include<civlc.h>

$input double x;

void main() {
  printf("x=%f\a", x); //\a currently is not supported by CIVL, so this example will throw a exception
}