I removed else clause but still not showing assertions. I am not using -i option.
Here is the command i used :
vsim -c top -do vsim.do
vsim.do file contains :
add log -r /*
run -all
quit -f
after simulation, I am trying to see waveform using:
vsim -view vsim.wlf
There seems to be no option for selecting/adding all assertions; however, if you are interested in the specific ones, the label of the assertion can be specified additionally, i.e.: