verilator/test_regress/t/t_savable_open_bad.out

Model width =          10
Restoring model from 'obj_vlt/t_savable_open_bad/saved.vltsv'
%Error: obj_vlt/t_savable_open_bad/saved.vltsv:0: Can't deserialize; file has wrong header signature, or file not found: obj_vlt/t_savable_open_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_open_bad/saved.vltsv'`
			`%Error: obj_vlt/t_savable_open_bad/saved.vltsv:0: Can't deserialize; file has wrong header signature, or file not found: obj_vlt/t_savable_open_bad/saved.vltsv`
			`Aborting...`