bdarnell logictest: Update running instructions …