| 1 | vcaps -ffp 1 |
| 2 | vexport ${aFile} ${format} |
| 3 | vglinfo |
| 4 | checkview -screenshot -3d -path ${imagedir}/${test_image}.png |
| 5 | |
| 6 | if { [file exists ${aFile}] } { |
| 7 | puts "The file has been exported to ${format}." |
| 8 | set filesize [file size ${aFile}] |
| 9 | |
| 10 | # Check if difference of size is more 5% |
| 11 | if { $filesize < $size && [expr 1.*($size - $filesize)/$size] > 0.05 } { |
| 12 | puts "Error: The file has been exported to ${format}, but the result has a different size ($filesize instead of $size)." |
| 13 | } |
| 14 | } else { |
| 15 | puts "Error: Impossible to export file to ${format}." |
| 16 | } |