text: /*
  Copyright 2020 René Ferdinand Rivera Morell
  Distributed under the Boost Software License, Version 1.0.
  (See accompanying file LICENSE.txt or copy at
  http://www.boost.org/LICENSE_1_0.txt)
  */
  
  #include "main_test.hpp"
  
  #include "doc_example6.cpp"
  
  #include "main_test.hpp"
  
  int main()
  {
  	bfg::mini_test::scope test;
  	{
  		TEST_MAIN(test, "doc_example6", "--choice=3");
  		TEST_MAIN_FAIL(test, "doc_example6", "--choice=11");
  	}
  	return test;
  }
  