From addec8a6d2d48ab36ff730ae72708730b7fd7655 Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Mon, 3 Aug 2026 15:37:59 +0200
Subject: [PATCH] driver: add test for disabled exec / --enable-exec

---
 tests/various/enable_exec.sh | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 tests/various/enable_exec.sh

diff --git a/tests/various/enable_exec.sh b/tests/various/enable_exec.sh
new file mode 100644
index 000000000..b5101824c
--- /dev/null
+++ b/tests/various/enable_exec.sh
@@ -0,0 +1,11 @@
+#!/usr/bin/env bash
+
+trap 'echo "ERROR in enable_exec.sh" >&2; exit 1' ERR
+
+${YOSYS} -q -p 'exec -- echo should_not_run' 2>&1 | grep -F "The 'exec' command is disabled. Run Yosys with --enable-exec to enable it." > /dev/null
+
+${YOSYS} -q -p '! echo should_not_run' 2>&1 | grep -F "shell escape ('!') is disabled" > /dev/null
+
+${YOSYS} --enable-exec -p 'exec -- echo enabled_ok' 2>&1 | grep -F "enabled_ok" > /dev/null
+
+${YOSYS} --enable-exec -p '! echo bang_ok' 2>&1 | grep -F "bang_ok" > /dev/null