Skip to content

Add script to automate build & running kani #222

Add script to automate build & running kani

Add script to automate build & running kani #222