Skip to content

Add script to automate build & running kani #4

Add script to automate build & running kani

Add script to automate build & running kani #4