1//[example_output 2> example 3Running 1 test case... 4test.cpp(20): error: in "test_case1": check 1 != 1 has failed [1 == 1] 5Failure occurred in a following context: 6 Alpha 7test.cpp(14): error: in "test_case1": check 2 != 2 has failed [2 == 2] 8Failure occurred in a following context: 9 Alpha 10test.cpp(24): error: in "test_case1": check 3 != 3 has failed [3 == 3] 11Failure occurred in a following context: 12 Alpha 13 Beta 14test.cpp(29): error: in "test_case1": check 5 != 5 has failed [5 == 5] 15 16*** 4 failures are detected in test module "example81" 17//]