		Search-engine friendly clone of the ACL2 documentation.

Crypto-hdwallet

Save-stat

Save the state of the wallet to a file.

Signature
(save-stat stat state) → state
Arguments: stat — Guard (statp stat).

The name suffix -stat of this function is consistent with the type name stat. It emphasizes the wallet state, as opposed to the ACL2 state.

serialize-write throws a hard error upon failure. This may acceptable if the shell script that calls the wallet can catch that and turn into a more user-oriented error message.

Definitions and Theorems

Function: save-stat

(defun save-stat (stat state)
       (declare (xargs :stobjs (state)))
       (declare (xargs :guard (statp stat)))
       (declare (xargs :guard (stat-wfp stat)))
       (let ((__function__ 'save-stat))
            (declare (ignorable __function__))
            (serialize-write *stat-filepath* stat)))