問題タブ [uppaal]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
73 問題
0
投票する
1
に答える
424
参照
memory - UPPAAL プロパティを確認できません
非常に小さなモデルを検証しています。しかし、メモリ不足のメッセージが表示されます。何度か機種変更しましたが同じ症状です。問題は、ユーザー定義関数を使用するか、選択オプションを使用して乱数を取得することが原因であると考えました。次に、モデルを変更し、関数を呼び出したり、選択オプションを使用したりしませんでしたが、それでも.... UPPAALの問題なのか、私のモデルの問題なのか疑問に思っています。メモリ不足以外のエラーはありません。「r1」と「r2」の値が変更された後、ctl プロパティが機能しなくなります。
CTL は、インクリメント前の r1 と r2 のすべての値に対して機能します。