#!/bin/sh -e
# This file is automatically generated by VCS.  Any changes you make
# to it will be overwritten the next time VCS is run.
vcs '-sverilog' '+vc' '-Mupdate' '-line' '-full64' 'test_keccak_t1.v' 'keccak.v' 'candidate_test_keccak_t1.v' 'f_permutation.v' 'padder1.v' 'rconst.v' 'round.v' '-o' 'simv' '-R'  -static_dbgen_only -daidir=$1 2>&1
