xbt_test_add0("exception value passing");
if (ex.category != unknown_error)
xbt_test_fail1("category=%d (!= 1)", ex.category);
if (ex.value != 2)
xbt_test_fail1("value=%d (!= 2)", ex.value);
xbt_test_add0("exception value passing");
if (ex.category != unknown_error)
xbt_test_fail1("category=%d (!= 1)", ex.category);
if (ex.value != 2)
xbt_test_fail1("value=%d (!= 2)", ex.value);