diff options
| -rw-r--r-- | testsuite/testenv.sh | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/testsuite/testenv.sh b/testsuite/testenv.sh index fd36439..65525b0 100644 --- a/testsuite/testenv.sh +++ b/testsuite/testenv.sh @@ -45,13 +45,25 @@ analyze () cmd "$GHDL" -a $GHDL_STD_FLAGS $GHDL_FLAGS $@ } -synth () +synth_import () +{ + travis_start "synth" "Synthesize $@" + run_yosys -p "ghdl $*" + travis_finish "synth" +} + +synth_ice40 () { travis_start "synth" "Synthesize $@" - run_yosys -p "ghdl $@; synth_ice40 -blif out.blif" + run_yosys -p "ghdl $*; synth_ice40 -blif out.blif" travis_finish "synth" } +synth () +{ + synth_ice40 "$*" +} + formal () { travis_start "formal" "Verify $@" |