1/* tacosh.c --  test file for mpc_acosh.
2
3Copyright (C) 2009 INRIA
4
5This file is part of GNU MPC.
6
7GNU MPC is free software; you can redistribute it and/or modify it under
8the terms of the GNU Lesser General Public License as published by the
9Free Software Foundation; either version 3 of the License, or (at your
10option) any later version.
11
12GNU MPC is distributed in the hope that it will be useful, but WITHOUT ANY
13WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
14FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for
15more details.
16
17You should have received a copy of the GNU Lesser General Public License
18along with this program. If not, see http://www.gnu.org/licenses/ .
19*/
20
21#include "mpc-tests.h"
22
23static void
24bug20091120 (void)
25{
26  mpc_t x, y;
27
28  mpc_init2 (x, 53);
29  mpc_init3 (y, 17, 42);
30  mpc_set_ui_ui (x, 1, 1, MPC_RNDNN);
31  mpc_acosh (y, x, MPC_RNDNN);
32  if (mpfr_get_prec (mpc_realref(y)) != 17 ||
33      mpfr_get_prec (mpc_imagref(y)) != 42)
34    {
35      printf ("Error, mpc_acosh changed the precisions!!!\n");
36      exit (1);
37    }
38  mpc_clear (x);
39  mpc_clear (y);
40}
41
42int
43main (void)
44{
45  DECL_FUNC (CC, f, mpc_acosh);
46
47  test_start ();
48
49  bug20091120 ();
50
51  data_check (f, "acosh.dat");
52  tgeneric (f, 2, 512, 7, 7);
53
54  test_end ();
55
56  return 0;
57}
58