Recent privacy laws and regulations raise the stakes in verifying that software systems respect user consent. The current state of the art shows that privacy by design and formal methods can help. Still, ensuring the validity of privacy properties, in particular consent properties, at different stages of software development, is hard. This paper proposes a step towards solving this issue by introducing a new tool, named CASTT, that allows engineers to verify consent properties at two different development stages: system modeling and code verification. To describe the system, this paper introduces a new formal model specification language named CSpeL, which allows to specify the key elements involved in consent and their relationships. We evaluate the correctness and the efficiency of our tool on two use cases targeting different application domains, healthcare and website.