Change LPTICKER spec to allow clock freq starting at 4kHz

bulislaw · bulislaw · commit 95559ad3e1fe · 2018-05-25T12:32:39.000-05:00
diff --git a/TESTS/mbed_hal/lp_ticker/lp_ticker_api_tests.h b/TESTS/mbed_hal/lp_ticker/lp_ticker_api_tests.h
@@ -32,7 +32,7 @@ extern "C" {
  *
  * Given ticker is available.
  * When ticker information data is obtained.
- * Then collected data indicates that ticker frequency is between 8KHz and 64KHz and the counter is at least 12 bits wide.
+ * Then collected data indicates that ticker frequency is between 4KHz and 64KHz and the counter is at least 12 bits wide.
  */
 void lp_ticker_info_test(void);
 
diff --git a/TESTS/mbed_hal/lp_ticker/main.cpp b/TESTS/mbed_hal/lp_ticker/main.cpp
@@ -82,7 +82,7 @@ void lp_ticker_info_test()
 {
     const ticker_info_t* p_ticker_info = lp_ticker_get_info();
 
-    TEST_ASSERT(p_ticker_info->frequency >= 8000);
+    TEST_ASSERT(p_ticker_info->frequency >= 4000);
     TEST_ASSERT(p_ticker_info->frequency <= 64000);
     TEST_ASSERT(p_ticker_info->bits >= 12);
 }
diff --git a/hal/lp_ticker_api.h b/hal/lp_ticker_api.h
@@ -34,7 +34,7 @@ extern "C" {
  * Low level interface to the low power ticker of a target
  *
  * # Defined behavior
- * * Has a reported frequency between 8KHz and 64KHz - verified by ::lp_ticker_info_test
+ * * Has a reported frequency between 4KHz and 64KHz - verified by ::lp_ticker_info_test
  * * Has a counter that is at least 12 bits wide - verified by ::lp_ticker_info_test
  * * Continues operating in deep sleep mode - verified by ::lp_ticker_deepsleep_test
  * * All behavior defined by the @ref hal_ticker_shared "ticker specification"

Original file line number	Diff line number	Diff line change
`@@ -32,7 +32,7 @@ extern "C" {`
`32`	`32`	`*`
`33`	`33`	`* Given ticker is available.`
`34`	`34`	`* When ticker information data is obtained.`
`35`		`- * Then collected data indicates that ticker frequency is between 8KHz and 64KHz and the counter is at least 12 bits wide.`
	`35`	`+ * Then collected data indicates that ticker frequency is between 4KHz and 64KHz and the counter is at least 12 bits wide.`
`36`	`36`	`*/`
`37`	`37`	`void lp_ticker_info_test(void);`
`38`	`38`
Original file line number	Diff line number	Diff line change
`@@ -82,7 +82,7 @@ void lp_ticker_info_test()`
`82`	`82`	`{`
`83`	`83`	`const ticker_info_t* p_ticker_info = lp_ticker_get_info();`
`84`	`84`
`85`		`- TEST_ASSERT(p_ticker_info->frequency >= 8000);`
	`85`	`+ TEST_ASSERT(p_ticker_info->frequency >= 4000);`
`86`	`86`	`TEST_ASSERT(p_ticker_info->frequency <= 64000);`
`87`	`87`	`TEST_ASSERT(p_ticker_info->bits >= 12);`
`88`	`88`	`}`
Original file line number	Diff line number	Diff line change
`@@ -34,7 +34,7 @@ extern "C" {`
`34`	`34`	`* Low level interface to the low power ticker of a target`
`35`	`35`	`*`
`36`	`36`	`* # Defined behavior`
`37`		`- * * Has a reported frequency between 8KHz and 64KHz - verified by ::lp_ticker_info_test`
	`37`	`+ * * Has a reported frequency between 4KHz and 64KHz - verified by ::lp_ticker_info_test`
`38`	`38`	`* * Has a counter that is at least 12 bits wide - verified by ::lp_ticker_info_test`
`39`	`39`	`* * Continues operating in deep sleep mode - verified by ::lp_ticker_deepsleep_test`
`40`	`40`	`* * All behavior defined by the @ref hal_ticker_shared "ticker specification"`