[ANN] VS Code extension Alcotest Test Explorer 0.4.0

Thanks to @Muqiu-Han a severe bug has been fixed: an exception
raised by failwith wasn’t recognized as failure and the test result had been set to ‘passed’.


Version 0.4.0 (2023-03-10)

  • Mark a test case as failed if a [FAIL] tag is present, even if the actual error message can’t be parsed.


  • Make the error parser recognize the exception generated by failwith. (Fix #1)

Internal Changes

  • Add test cases to check that the changes actually work.
  • Fix typo in issue template.
  • Correct the job name in the release GitHub workflow.