Update sim help message.

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index c46c1509acf0e0f35ff7661ada09a0bb63506bda..5e15faec0f839a8cddb087153394bfc80215f6e4 100644 (file)
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -1811,7 +1811,8 @@ struct SimPass : public Pass {
                log("        writeback mode: use final simulation state as new init state\n");
                log("\n");
                log("    -r\n");
-               log("        read simulation results file (file formats supported: FST)\n");
+               log("        read simulation results file (file formats supported: FST, VCD, AIW and WIT)\n");
+               log("            VCD support requires vcd2fst external tool to be present\n");
                log("\n");
                log("    -map <filename>\n");
                log("        read file with port and latch symbols, needed for AIGER witness input\n");