cvw/sim/sim-wally-batch

2 lines
51 B
Plaintext
Executable File

vsim -c -do "do wally-batch.do rv64gc wally64priv"