Remove Kani Docker setup

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Jun 5, 2024 · ed9bada · ed9bada
1 parent 49e79d8
commit ed9bada
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