testing invariants
integrated bmc with ind
integrated bmc and ind