writing VCD for combinatorial circuits works!

crates/fayalite/src/cli.rs

@@ -653,19 +653,21 @@ impl FormalArgs {
                 self.sby.display()
             )))
         };
-        fs::write(
+        if do_cache {
-            cache_file,
+            fs::write(
-            serde_json::to_string_pretty(&FormalCache {
+                cache_file,
-                version: FormalCacheVersion::CURRENT,
+                serde_json::to_string_pretty(&FormalCache {
-                contents_hash: contents_hash.unwrap(),
+                    version: FormalCacheVersion::CURRENT,
-                stdout_stderr: captured_output,
+                    contents_hash: contents_hash.unwrap(),
-                result: match &result {
+                    stdout_stderr: captured_output,
-                    Ok(FormalOutput { verilog: _ }) => Ok(FormalCacheOutput {}),
+                    result: match &result {
-                    Err(error) => Err(error.to_string()),
+                        Ok(FormalOutput { verilog: _ }) => Ok(FormalCacheOutput {}),
-                },
+                        Err(error) => Err(error.to_string()),
-            })
+                    },
-            .expect("serialization shouldn't ever fail"),
+                })
-        )?;
+                .expect("serialization shouldn't ever fail"),
+            )?;
+        }
         result
     }
 }