Code

Fix formal verification#179

Code

Merged

ChristopherRabotin merged 4 commits intomasternyx-space/hifitime:masterfrom 172-fix-formal-verificationnyx-space/hifitime:172-fix-formal-verificationCopy head branch name to clipboardDec 2, 2022

+11-3

Commits

Commits on Dec 1, 2022

• Try deleting the line of cdylib and rlib

  Show description for a0a1aa8
  ChristopherRabotin

  committed
  a0a1aa8

  Copy full SHA for a0a1aa8

• Generate kani report and save HTML

  Show description for 893b570
  ChristopherRabotin

  committed
  893b570

  Copy full SHA for 893b570

• Run kani twice

  Show description for dc9ab0e
  ChristopherRabotin

  committed
  dc9ab0e

  Copy full SHA for dc9ab0e

• Gotta keep everything

  Show description for e79cc01
  ChristopherRabotin

  committed
  e79cc01

  Copy full SHA for e79cc01