报错信息

ServerException:
ConsStateDecorator::getFPValues is not supposed to be called.

问题分析

在给变量赋值的时候，赋予的类型和定义的类型不一样。

double v[10];
void init(){
    for (i: int[0, 9]){
        v[i] = -1;
    }
}

这里UPPAAL并不会自动把第5行的-1转换成double，需要改成v[i]=-1.0。