Steve Howell  
		
	
	66a5c7cf4a 
	
	
	doc tests: Split out zephyr helper.  
		
			... 
			(All the same code gets executed here, but in a slightly
different order.)
There is some code duplication between the two new
helper functions, but I didn't make the situation any
worse, and it's slightly non-trivial to consolidate
the logic. Hopefully the long term strategy is to remove
the zephyr checks or at least isolate a single test for
any specific zephyr quirks that we need to maintain. 
		
	 
 
		2023-06-29 12:40:23 -07:00 
	 
	
	
	
		  ..
	 
	
	
		
			
			
			
			
			
			2023-06-29 12:35:55 -07:00 
		 
	
		
	
		
	
		
	
		
			
			
			
			
			
			2023-03-02 16:36:19 -08:00 
		 
	
		
			
			
			
			
			
			2023-04-19 12:20:49 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-15 16:49:27 -07:00 
		 
	
		
			
			
			
			
			
			2023-04-07 09:45:26 -07:00 
		 
	
		
			
			
			
			
			
			2022-11-17 16:52:00 -08:00 
		 
	
		
			
			
			
			
			
			2023-02-04 16:34:55 -08:00 
		 
	
		
	
		
			
			
			
			
			
			2023-02-10 17:35:49 -08:00 
		 
	
		
	
		
			
			
			
			
			
			2023-06-20 16:17:55 -07:00 
		 
	
		
			
			
			
			
			
			2023-02-02 10:40:13 -08:00 
		 
	
		
			
			
			
			
			
			2023-06-29 12:40:23 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-23 11:24:13 -07:00 
		 
	
		
			
			
			
			
			
			2023-02-10 17:35:49 -08:00 
		 
	
		
			
			
			
			
			
			2023-04-10 08:38:09 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-23 11:24:13 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-23 11:24:13 -07:00 
		 
	
		
			
			
			
			
			
			2022-11-17 16:52:00 -08:00 
		 
	
		
			
			
			
			
			
			2023-06-23 11:24:13 -07:00 
		 
	
		
			
			
			
			
			
			2023-04-28 17:25:00 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-23 11:24:13 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-05 17:33:26 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-23 10:45:40 -07:00 
		 
	
		
			
			
			
			
			
			2022-11-17 16:52:00 -08:00 
		 
	
		
			
			
			
			
			
			2023-04-18 09:22:56 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-06 18:36:02 -07:00 
		 
	
		
	
		
			
			
			
			
			
			2023-05-02 13:16:25 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-23 11:24:13 -07:00 
		 
	
		
			
			
			
			
			
			2023-02-02 10:40:13 -08:00 
		 
	
		
	
		
			
			
			
			
			
			2022-11-03 12:10:15 -07:00 
		 
	
		
			
			
			
			
			
			2023-05-19 16:13:32 -04:00 
		 
	
		
	
		
			
			
			
			
			
			2023-01-04 16:25:07 -08:00 
		 
	
		
			
			
			
			
			
			2023-04-13 14:59:58 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-23 10:45:40 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-12 16:26:55 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-23 11:24:13 -07:00 
		 
	
		
			
			
			
			
			
			2023-04-19 12:20:49 -07:00 
		 
	
		
			
			
			
			
			
			2023-04-26 14:26:47 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-23 11:24:13 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-29 12:35:55 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-23 11:24:13 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-23 11:24:13 -07:00 
		 
	
		
			
			
			
			
			
			2022-11-17 16:52:00 -08:00 
		 
	
		
			
			
			
			
			
			2023-04-26 14:26:47 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-20 16:17:55 -07:00 
		 
	
		
			
			
			
			
			
			2023-04-19 12:20:49 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-23 11:24:13 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-23 11:24:13 -07:00 
		 
	
		
			
			
			
			
			
			2023-03-13 12:28:26 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-23 11:24:13 -07:00 
		 
	
		
	
		
			
			
			
			
			
			2023-06-27 11:27:38 -07:00 
		 
	
		
			
			
			
			
			
			2023-04-08 16:27:55 -07:00 
		 
	
		
	
		
			
			
			
			
			
			2023-02-10 17:35:49 -08:00 
		 
	
		
			
			
			
			
			
			2023-03-05 14:46:28 -08:00 
		 
	
		
			
			
			
			
			
			2023-04-26 14:26:47 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-23 11:24:13 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-28 11:06:24 -07:00 
		 
	
		
	
		
			
			
			
			
			
			2023-06-12 12:55:27 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-23 11:24:13 -07:00 
		 
	
		
			
			
			
			
			
			2023-02-10 15:39:57 -08:00 
		 
	
		
	
		
			
			
			
			
			
			2023-06-28 10:23:47 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-15 16:49:27 -07:00 
		 
	
		
			
			
			
			
			
			2023-04-19 12:20:49 -07:00 
		 
	
		
			
			
			
			
			
			2022-11-04 14:44:07 -07:00 
		 
	
		
			
			
			
			
			
			2023-05-28 15:24:31 -07:00 
		 
	
		
	
		
			
			
			
			
			
			2023-05-09 13:16:28 -07:00 
		 
	
		
			
			
			
			
			
			2023-05-09 13:48:28 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-23 11:24:13 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-23 11:24:13 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-20 16:17:55 -07:00 
		 
	
		
			
			
			
			
			
			2023-02-27 11:59:48 -08:00 
		 
	
		
	
		
			
			
			
			
			
			2022-11-17 16:52:00 -08:00 
		 
	
		
			
			
			
			
			
			2023-02-02 10:40:13 -08:00 
		 
	
		
			
			
			
			
			
			2023-06-12 12:55:27 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-23 10:45:40 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-27 11:04:41 -07:00 
		 
	
		
	
		
			
			
			
			
			
			2023-06-23 11:24:13 -07:00 
		 
	
		
			
			
			
			
			
			2023-02-14 17:17:06 -05:00 
		 
	
		
			
			
			
			
			
			2023-06-19 13:42:40 -07:00 
		 
	
		
			
			
			
			
			
			2023-05-14 11:19:05 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-24 07:47:25 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-12 12:55:27 -07:00 
		 
	
		
			
			
			
			
			
			2023-05-18 11:52:22 -07:00 
		 
	
		
			
			
			
			
			
			2022-11-17 16:52:00 -08:00 
		 
	
		
			
			
			
			
			
			2023-01-04 16:25:07 -08:00 
		 
	
		
	
		
			
			
			
			
			
			2023-03-02 16:36:19 -08:00 
		 
	
		
			
			
			
			
			
			2023-06-23 11:24:13 -07:00 
		 
	
		
			
			
			
			
			
			2023-04-18 12:29:33 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-15 16:49:27 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-20 16:17:55 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-28 18:03:32 -07:00 
		 
	
		
			
			
			
			
			
			2023-04-18 09:22:56 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-28 18:03:32 -07:00 
		 
	
		
			
			
			
			
			
			2023-04-07 09:45:26 -07:00 
		 
	
		
			
			
			
			
			
			2023-04-07 09:45:26 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-19 13:40:50 -07:00 
		 
	
		
			
			
			
			
			
			2023-06-23 11:24:13 -07:00