tests/vloghtb/test_share.sh

   1 #!/bin/bash
   2
   3 set -e
   4 mkdir -p log_test_share
   5 source common.sh
   6
   7 f=$1
   8 n=$(basename ${f%.v})
   9
  10 rm -f log_test_share/$n.txt
  11 rm -f log_test_share/$n.err
  12
  13 if ! ../../yosys -q -l log_test_share/$n.out - 2> /dev/null <<- EOT
  14         read_verilog $f
  15         proc;;
  16
  17         copy $n gold
  18         rename $n work
  19
  20         cd work
  21         share -aggressive
  22         cd ..
  23
  24         miter -equiv -ignore_gold_x -make_outputs -make_outcmp gold work miter
  25         flatten miter
  26         sat -verify -prove trigger 0 -show-inputs -show-outputs miter
  27 EOT
  28 then
  29         log_fail test_share $n
  30         mv log_test_share/$n.out log_test_share/$n.err
  31         exit 1
  32 fi
  33
  34 log_pass test_share $n
  35 mv log_test_share/$n.out log_test_share/$n.txt
  36 exit 0
  37