Using updated HS backend to branch without locks#968

palinatolmach wants to merge 1 commit intomasterruntimeverification/kontrol:masterfrom

jb/test-llvm-without-lockruntimeverification/kontrol:jb/test-llvm-without-lockCopy head branch name to clipboard