原子論理式・LTL式およびそのBuchi Automatonがロードされない
UzawaSeishiro opened this issue · comments
原因究明までできていないですが、症状だけでも上げておきます。
バグなのか仕様なのかもわかっていないです。
- LaViTを起動
- 開いていたファイルを閉じてどのファイルも開いていない状態にする
- ファイルを開く
原子論理式・LTL式およびそのBuchi Automatonがロードされず、空白になっています。
2つ目以降に開いたファイルについてはロードされている。
2つ目のファイルを開く→1つ目のファイルに戻る で原子論理式・LTL式・BAが表示されている。
(2つ目のファイルを開いた段階で1つ目のファイルのこれらのデータもロードされる？)
確認した実行環境
ラズパイ4+Ubuntu MATE1.24.0(リリース：Ubuntu 20.04.1 LTS 64ビット)
Let's note+Ubuntu18.04.5LTS(Windows 10 Proとのデュアルブート)
使用したのはバンドル版のLaViT2_9_1です。(ダウンロードページ https://www.ueda.info.waseda.ac.jp/lmntal/lavit/index.php?Download からダウンロードしてビルドしたもの)