---
title: Is there a way to ask Dafny to die on its first verification failure?
---

## Question

Is there a way to ask Dafny to die on its first verification failure?

## Answer

No. At least as of version 3.7.3.
