問題タブ [tlc]
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.
14 問題
0
投票する
3
に答える
492
参照
configuration - TLA +構成ファイルのCONSTANTSセクションの定数にシーケンスを割り当てるにはどうすればよいですか？
私はもう試した
しかし、TLCは私に構文エラーを与えます：
エラー：TLCは、1行目の構成ファイルでエラーを検出しました。=または<-を予期していましたが、検出されませんでした。
Sequencesまた、モジュールを構成ファイルに含めようとしましたが、役に立ちませんでした。
だから...シーケンスを割り当てるために私は何をしなければなりませんか？
0
投票する
1
に答える
920
参照
graph - TLA+ 状態グラフを視覚化する方法
私は新しいTLA+ユーザーです。TLAツールボックスを使用すると、モデル チェックの完了後に状態グラフを視覚化できると読みました。
そのためには、私が行ったようにドットをインストールする必要があります。しかし、ビジュアライゼーションを起動する方法がわかりませんでした。GUI を使用して購入できますか、それとも専用のコマンド ラインを使用する必要がありますか?
ありがとう