3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-08-08 07:03:11 +00:00

driver: add test for disabled exec / --enable-exec

This commit is contained in:
Emil J. Tywoniak 2026-08-03 15:37:59 +02:00
parent 2bbde420a6
commit addec8a6d2

View file

@ -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