Remove Kani Docker setup

Signed-off-by: Nick Spinale <nick@nickspinale.com>
seL4 · Jun 5, 2024 · 5ae7ff5 · 5ae7ff5
1 parent fbb7724
commit 5ae7ff5
Show file tree

Hide file tree

Showing 4 changed files with 0 additions and 134 deletions.
diff --git a/hacking/kani/.gitignore b/hacking/kani/.gitignore
diff --git a/hacking/kani/Makefile b/hacking/kani/Makefile
diff --git a/hacking/kani/docker/Dockerfile b/hacking/kani/docker/Dockerfile
diff --git a/hacking/kani/docker/Makefile b/hacking/kani/docker/Makefile