1 vexport ${aFile} ${format}
3 if { [file exists ${aFile}] } {
4 puts "Export to ${format} file was done."
5 set filesize [file size ${aFile}]
6 # Check if difference of size is more 5%
7 if { $filesize < $size && [expr 1.*($size - $filesize)/$size] > 0.05 } {
8 puts "Error: Export to ${format} file was done but file has a different size ($filesize instead of $size)."
11 puts " Faulty: Export to${format} file was not done."