システム変数としてリストを持つ Spec Explorer プロジェクトを作成しました。ほとんどすべてのルールで、このリストは正しい結果が得られるように調整されています。しかし、プロジェクトを探索すると、状態が重複します。これらの州を比較すると、私が見つける唯一の違いは次のとおりです。
_version: 25 System.Int32
_version: 23 System.Int32
なぜこれが起こるのかをグーグルで調べた後、文字列が変更されるたびにバージョンが変更されることがわかりました。したがって、バージョン 23 と 25 に同じ文字列が含まれていても、バージョン番号により Spec Explorer はそれらが異なると見なされ、2 つの状態が生成されます。とにかくこれを修正する方法はありますか？文字列をリセットするか、Spec Explorer にこれを強制的に受け入れる方法があるかもしれません。