writing VCD for combinatorial circuits works!

crates/fayalite/src/cli.rs

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