Definition at line 34 of file 1.cc.
Definition at line 125 of file 1.cc.
References test01().
Definition at line 65 of file 1.cc.
References gt, lt, test_value(), and z.
Referenced by main().
Definition at line 40 of file 1.cc.
References gt, lt, VERIFY, and z.
Referenced by test01().