verilator/test_regress/t/t_savable_format3_bad.out

Model width =          10
Restoring model from 'obj_vlt/t_savable_format3_bad/saved.vltsv'
%Error: obj_vlt/t_savable_format3_bad/saved.vltsv:0: Can't deserialize; file has wrong end-of-file signature: obj_vlt/t_savable_format3_bad/saved.vltsv
Aborting...
Internal coverage: Cleanup some savable errors and coverage. 2020-10-13 23:26:16 +00:00			`Model width = 10`
			`Restoring model from 'obj_vlt/t_savable_format3_bad/saved.vltsv'`
			`%Error: obj_vlt/t_savable_format3_bad/saved.vltsv:0: Can't deserialize; file has wrong end-of-file signature: obj_vlt/t_savable_format3_bad/saved.vltsv`
			`Aborting...`