arrays - Uppaal での配列の初期化

Question

私は次の構造体を持っています:

const int MAX = 6;
typedef struct {
    int num1;
    int arr1[MAX]; 
    int arr2[MAX];
    int num2;
} MyStruct;

そして、この配列を次のように初期化します。

MyStruct myStruct = {1, {-1}, {2,-1}, 1};

ただし、最初の要素については、次のエラーが発生します。

無効な初期化子

2 番目の要素については、次のようになります。

初期化子の要素が多すぎる

私が使用している Uppaal のバージョンは4.1.19. では、問題はどこに問題があるのか​​ということです。