From b1431e86e88ebea3a2e2ea624547ee112485d6cb Mon Sep 17 00:00:00 2001
From: Nils Husung <husung@cs.uni-saarland.de>
Date: Fri, 7 Jun 2024 10:58:27 +0200
Subject: [PATCH] Add `panic = "abort"` to oxidd-cli/Cargo.toml

For `cargo install oxidd-cli`
---
 crates/oxidd-cli/Cargo.toml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/crates/oxidd-cli/Cargo.toml b/crates/oxidd-cli/Cargo.toml
index 7dd2737..46dd977 100644
--- a/crates/oxidd-cli/Cargo.toml
+++ b/crates/oxidd-cli/Cargo.toml
@@ -60,3 +60,7 @@ apply-cache-direct-mapped = ["oxidd/apply-cache-direct-mapped"]
 
 ## Enable statistics (will harm performance)
 statistics = ["oxidd/statistics"]
+
+
+[profile.release]
+panic = "abort"