1//[example_output 2> example 3Running 1 test case... 4test.cpp(14): error: in "test_case1": check false has failed 5Failure occurred in a following context: 6 Gamma 7 Delta 8 9*** 1 failures is detected in test module "example80" 10 11//]