1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
|
# -*- tcl -*-
# machineparameters.test --
# Unit tests for machineparameters.tcl
#
# Copyright 2008 Michael Baudin
# -------------------------------------------------------------------------
source [file join \
[file dirname [file dirname [file join [pwd] [info script]]]] \
devtools testutilities.tcl]
testsNeedTcl 8.5
testsNeedTcltest 2.1
testing {
useLocal machineparameters.tcl math::machineparameters
}
# -------------------------------------------------------------------------
#
# Check all parameters are there
#
test checkall {check epsilon, rounding mode} -setup {
set pp [machineparameters create %AUTO%]
$pp configure -verbose 0
$pp compute
} -body {
set epsilon [$pp get -epsilon]
set rounding [$pp get -rounding]
set basis [$pp get -basis]
set mantissa [$pp get -mantissa]
set emax [$pp get -exponentmax]
#$pp print
set res {}
# The following property on epsilon must hold false (yes : epsilon is THAT small !)
lappend res [expr {1.0+$epsilon>1.0}]
lappend res [expr {$rounding!=""}]
lappend res [expr {$basis> 1}]
lappend res [expr {$mantissa> 1}]
} -cleanup {
$pp destroy
unset pp
} -result {0 1 1 1}
# -------------------------------------------------------------------------
#
# Shutdown tests
#
tcltest::cleanupTests
|
