New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

原子論理式・LTL式およびそのBuchi Automatonがロードされない #43

Open

UzawaSeishiro opened this issue Dec 19, 2020 · 1 comment

UzawaSeishiro commented Dec 19, 2020

原因究明までできていないですが、症状だけでも上げておきます。
バグなのか仕様なのかもわかっていないです。

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とのデュアルブート)

Author

UzawaSeishiro commented Dec 19, 2020

使用したのはバンドル版のLaViT2_9_1です。(ダウンロードページ https://www.ueda.info.waseda.ac.jp/lmntal/lavit/index.php?Download からダウンロードしてビルドしたもの)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment