mirror of
https://github.com/zachjs/sv2v.git
synced 2026-09-01 10:06:19 +02:00
Zachary Snow
52197df325
This mode reduces the size of test cases that encounter conversion errors or produce incorrect output. The logic developed slowly over the past three years. It is in a state that I find useful when fielding bug reports, but has some room for improvement in terms of constraints and filtering.
20 lines
499 B
Bash
Executable File
20 lines
499 B
Bash
Executable File
#!/bin/bash
|
|
|
|
test_basic() {
|
|
out=$SHUNIT_TMPDIR/out.v
|
|
runAndCapture --bugpoint="y = 4" --bugpoint="z = y" \
|
|
--top top before.sv -w $out
|
|
assertTrue "bugpoint conversion should succeed" $result
|
|
assertNull "stdout should be empty" "$stdout"
|
|
assertNotNull "stderr should not be empty" "$stderr"
|
|
|
|
sed -i.bak -E 's/\t/ /g' $out
|
|
echo >> $out
|
|
diff --unified after.sv $out
|
|
assertTrue "minimized output doesn't match" $?
|
|
}
|
|
|
|
source ../lib/functions.sh
|
|
|
|
. shunit2
|