From: Rodrigo Alejandro Melo <rmelo@inti.gob.ar>
Date: Thu, 6 Feb 2020 13:45:40 +0000 (-0300)
Subject: Added 'set -e' into tests/memfile/run-test.sh
X-Git-Tag: working-ls180~803^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9da5936c0555de28fc9d254242bd2a33b3399ad6;p=yosys.git

Added 'set -e' into tests/memfile/run-test.sh

Also added two checks for situations where the execution must fail.

Signed-off-by: Rodrigo Alejandro Melo <rmelo@inti.gob.ar>
---

diff --git a/tests/memfile/run-test.sh b/tests/memfile/run-test.sh
index f25a8e0b1..e43ddd093 100755
--- a/tests/memfile/run-test.sh
+++ b/tests/memfile/run-test.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -e
+
 mkdir -p temp
 cp content1.dat temp/content2.dat
 
@@ -27,3 +29,21 @@ echo "Running from a child directory with temp/content2.dat"
 ../../../yosys -qp "read_verilog -defer ../memory.v; chparam -set MEMFILE \"temp/content2.dat\" memory"
 echo "Running from a child directory with content2.dat"
 ../../../yosys -qp "read_verilog -defer ../memory.v; chparam -set MEMFILE \"temp/content2.dat\" memory"
+
+cd ..
+
+echo "Checking a failure when zero length filename is provided"
+if ../../yosys -qp "read_verilog memory.v"; then
+	echo "The execution should fail but it didn't happen, which is WRONG."
+	exit 1
+else
+	echo "Execution failed, which is OK."
+fi
+
+echo "Checking a failure when not existing filename is provided"
+if ../../yosys -qp "read_verilog -defer memory.v; chparam -set MEMFILE \"content3.dat\" memory"; then
+	echo "The execution should fail but it didn't happen, which is WRONG."
+	exit 1
+else
+	echo "Execution failed, which is OK."
+fi