From e217e3017af101bfe43d44c2e3afda3d5c2e0832 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Wed, 16 Mar 2022 07:55:57 +0100 Subject: [PATCH] Update sim help message. --- passes/sat/sim.cc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc index c46c1509a..5e15faec0 100644 --- 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 \n"); log(" read file with port and latch symbols, needed for AIGER witness input\n"); -- 2.30.2