Rust: Make barrierModel work#6

owen-mc merged 1 commit intoowen-mc:rust/mad-barriersowen-mc/codeql:rust/mad-barriersfrom

hvitved:rust/mad-barriershvitved/codeql:rust/mad-barriersCopy head branch name to clipboard