Running 2 test cases...
test_signed_integer_output_with_karma.cpp:225: error in "test_adapted_adt_output_with_karma": check tout.is_equal("-1/3") failed. Output content: "-0/3"
test_signed_integer_output_with_karma.cpp:228: error in "test_adapted_adt_output_with_karma": check tout.is_equal("-1/3") failed. Output content: "-0/3"
test_signed_integer_output_with_karma.cpp:243: error in "test_adapted_adt_output_with_karma": check tout.is_equal("-1/3") failed. Output content: "-32767/3"
test_signed_integer_output_with_karma.cpp:246: error in "test_adapted_adt_output_with_karma": check tout.is_equal("-1/3") failed. Output content: "-32767/3"
test_signed_integer_output_with_karma.cpp:261: error in "test_adapted_adt_output_with_karma": check tout.is_equal("-1/3") failed. Output content: "-140734913879696/3"
test_signed_integer_output_with_karma.cpp:264: error in "test_adapted_adt_output_with_karma": check tout.is_equal("-1/3") failed. Output content: "-140734913879696/3"

*** 6 failures detected in test suite "test_signed_integer_output_with_karma"