tests/3rdparty/export/end

   1 vexport ${aFile} ${format}
   2
   3 if { [file exists ${aFile}] } {
   4     puts "The file has been exported to ${format}."
   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: The file has been exported to ${format}, but the result has a different size ($filesize instead of $size)."
   9     }
  10 } else {
  11     puts "Error: Impossible to export file to ${format}."
  12 }