From 2f1186a11754852aaf5e099f7a2ee1f505cd4e51 Mon Sep 17 00:00:00 2001
From: Per Lindgren <per.lindgren@ltu.se>
Date: Mon, 18 Feb 2019 13:58:06 +0100
Subject: [PATCH] clk derive and proof improved
---
klee-examples/src/clk.rs | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/klee-examples/src/clk.rs b/klee-examples/src/clk.rs
index d8b689d..672edf6 100644
--- a/klee-examples/src/clk.rs
+++ b/klee-examples/src/clk.rs
@@ -98,7 +98,7 @@ fn main() {
let req = Requirements {
pllsrcclk: 8_000_000,
- sysclk: 96_000_000,
+ sysclk: 100_000_000,
usbclk: true,
};
--
GitLab