File tree Expand file tree Collapse file tree 9 files changed +9
-9
lines changed
systemverilog-plugin/tests Expand file tree Collapse file tree 9 files changed +9
-9
lines changed Original file line number Diff line number Diff line change @@ -2,7 +2,7 @@ yosys -import
22if { [info procs read_uhdm] == {} } { plugin -i systemverilog }
33yosys -import ;# ingest plugin commands
44
5- set TMP_DIR ::env(TEST_OUTPUT_PREFIX)/tmp
5+ set TMP_DIR $ ::env(TEST_OUTPUT_PREFIX) /tmp
66file mkdir $TMP_DIR
77
88# Testing simple round-trip
Original file line number Diff line number Diff line change @@ -2,7 +2,7 @@ yosys -import
22if { [info procs read_uhdm] == {} } { plugin -i systemverilog }
33yosys -import ;# ingest plugin commands
44
5- set TMP_DIR ::env(TEST_OUTPUT_PREFIX)/tmp
5+ set TMP_DIR $ ::env(TEST_OUTPUT_PREFIX) /tmp
66file mkdir $TMP_DIR
77
88# Testing simple round-trip
Original file line number Diff line number Diff line change @@ -2,7 +2,7 @@ yosys -import
22if { [info procs read_uhdm] == {} } { plugin -i systemverilog }
33yosys -import ;# ingest plugin commands
44
5- set TMP_DIR ::env(TEST_OUTPUT_PREFIX)/tmp
5+ set TMP_DIR $ ::env(TEST_OUTPUT_PREFIX) /tmp
66file mkdir $TMP_DIR
77
88# Testing simple round-trip
Original file line number Diff line number Diff line change @@ -2,7 +2,7 @@ yosys -import
22if { [info procs read_uhdm] == {} } { plugin -i systemverilog }
33yosys -import ;# ingest plugin commands
44
5- set TMP_DIR ::env(TEST_OUTPUT_PREFIX)/tmp
5+ set TMP_DIR $ ::env(TEST_OUTPUT_PREFIX) /tmp
66file mkdir $TMP_DIR
77
88# Define forbidden value
Original file line number Diff line number Diff line change @@ -2,7 +2,7 @@ yosys -import
22if { [info procs read_uhdm] == {} } { plugin -i systemverilog }
33yosys -import ;# ingest plugin commands
44
5- set TMP_DIR ::env(TEST_OUTPUT_PREFIX)/tmp
5+ set TMP_DIR $ ::env(TEST_OUTPUT_PREFIX) /tmp
66file mkdir $TMP_DIR
77
88systemverilog_defines -DPONA
Original file line number Diff line number Diff line change @@ -2,7 +2,7 @@ yosys -import
22if { [info procs read_uhdm] == {} } { plugin -i systemverilog }
33yosys -import ;# ingest plugin commands
44
5- set TMP_DIR ::env(TEST_OUTPUT_PREFIX)/tmp
5+ set TMP_DIR $ ::env(TEST_OUTPUT_PREFIX) /tmp
66file mkdir $TMP_DIR
77
88read_systemverilog -o $TMP_DIR -formal $::env(DESIGN_TOP) .v
Original file line number Diff line number Diff line change @@ -2,7 +2,7 @@ yosys -import
22if { [info procs read_uhdm] == {} } { plugin -i systemverilog }
33yosys -import ;# ingest plugin commands
44
5- set TMP_DIR ::env(TEST_OUTPUT_PREFIX)/tmp
5+ set TMP_DIR $ ::env(TEST_OUTPUT_PREFIX) /tmp
66file mkdir $TMP_DIR
77
88# Testing simple round-trip
Original file line number Diff line number Diff line change @@ -2,7 +2,7 @@ yosys -import
22if { [info procs read_uhdm] == {} } { plugin -i systemverilog }
33yosys -import ;# ingest plugin commands
44
5- set TMP_DIR ::env(TEST_OUTPUT_PREFIX)/tmp
5+ set TMP_DIR $ ::env(TEST_OUTPUT_PREFIX) /tmp
66file mkdir $TMP_DIR
77
88# Testing simple round-trip
Original file line number Diff line number Diff line change @@ -2,7 +2,7 @@ yosys -import
22if { [info procs read_uhdm] == {} } { plugin -i systemverilog }
33yosys -import ;# ingest plugin commands
44
5- set TMP_DIR ::env(TEST_OUTPUT_PREFIX)/tmp
5+ set TMP_DIR $ ::env(TEST_OUTPUT_PREFIX) /tmp
66file mkdir $TMP_DIR
77
88read_systemverilog -o $TMP_DIR $::env(DESIGN_TOP) .v
You can’t perform that action at this time.
0 commit comments