You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
If I do multiple Alcotest.check and one of them fails (or Alcotest.fail happened), I see [ASSERT] messages related to other checks. There are several reasons why I don't like this behavior and want a way to disable show_assert:
I suppose message string to appear in case of assertion fail, so I write something like "type does not match expected for ..." and seeing this messages when other thing is wrong may be confusing
I can do many checks in one tests, and I don't want to have hundreds of assertions in CI log, I want just the failure message
Even with one check, I see the same message twice - with [ASSERT] and [FAIL], that does not look cool
The text was updated successfully, but these errors were encountered:
If I do multiple
Alcotest.check
and one of them fails (orAlcotest.fail
happened), I see[ASSERT]
messages related to other checks. There are several reasons why I don't like this behavior and want a way to disableshow_assert
:"type does not match expected for ..."
and seeing this messages when other thing is wrong may be confusingcheck
, I see the same message twice - with[ASSERT]
and[FAIL]
, that does not look coolThe text was updated successfully, but these errors were encountered: