From f302cee0ff8ce3503a53d6797501c1112fa64b90 Mon Sep 17 00:00:00 2001 From: Lars Brinkhoff Date: Wed, 26 Jun 2019 12:00:21 +0200 Subject: [PATCH] Update KA10 simulator. Improved RH10/RP04 passes the MARK verification phase in SALV. --- tools/sims | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/sims b/tools/sims index 23dab81f..2ff87d85 160000 --- a/tools/sims +++ b/tools/sims @@ -1 +1 @@ -Subproject commit 23dab81f7a2ec15926db961f8d386ac9df89e976 +Subproject commit 2ff87d85c517ae09527cb746ecf9b9f8cf84298e