Compare commits
14 commits
e2653a3245
...
11ddbc43c7
Author | SHA1 | Date | |
---|---|---|---|
11ddbc43c7 | |||
c4b5d00419 | |||
09aa9fbc78 | |||
288a6b71b9 | |||
0095570f19 | |||
f54e55a143 | |||
a6e40839ac | |||
3106a6fff6 | |||
f338f37d3e | |||
277d3e0d4d | |||
b288d6f8f2 | |||
479d59b287 | |||
6f904148c4 | |||
3ea0d98924 |
1 changed files with 13 additions and 15 deletions
|
@ -653,21 +653,19 @@ impl FormalArgs {
|
||||||
self.sby.display()
|
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
|
result
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue