Setting the appropriate target when running autoharness-analyzer#384

tautschnig merged 1 commit intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

vonaka:autoharness-analyzer-fixvonaka/verify-rust-std:autoharness-analyzer-fixCopy head branch name to clipboard