Read assertions from log