Fix result summarizer

bin/sequencer

@@ -213,7 +213,7 @@ echo
 echo Extracting sequence results:
 # Sort by test name (6th field)
 egrep 'RESULT |CPBLTY ' $SEQUENCER_LOG | fgrep NOTICE | sort -k 6 | \
-    sed -e 's/.* NOTICE //' | tee $SEQUENCER_OUT
+    sed -E -e 's/.* NOTICE +//' | tee $SEQUENCER_OUT
 
 [[ -s $SEQUENCER_OUT ]] || fail No test results found.
 

docs/specs/sequences/generated.md

@@ -86,7 +86,7 @@ Check that the device correctly handles a broken (non-json) config message.
     * Set `system.min_loglevel` = `100`
 1. [logging] Wait until system logs level `NOTICE` category `system.config.apply`
 1. Update config to force broken (invalid JSON) configuration
-1. [status] Wait until system status level is >= WARNING (400)
+1. [status] Wait until system status level is >= `WARNING` (400)
 1. [status] Check that status level is exactly `ERROR` (500)
 1. [status] Check that category matches `system.config.parse`
 1. Check that device state `last_config` has not been updated
@@ -95,7 +95,7 @@ Check that the device correctly handles a broken (non-json) config message.
 1. [logging] Check that log level `NOTICE` (or greater) category `system.config.apply` was not logged
 1. Reset config to clean version
 1. (Log level is implicitly set to `INFO` through config reset)
-1. [status] Wait until system status level is not >= WARNING (400)
+1. [status] Wait until system status level is not >= `WARNING` (400)
 1. [logging] Wait until system logs level `NOTICE` category `system.config.apply`
 1. [logging] Check that log level `DEBUG` (or greater) category `system.config.receive` was not logged
 1. [logging] Check that log level `DEBUG` (or greater) category `system.config.parse` was not logged
@@ -278,12 +278,12 @@ Check that the device correctly handles an extra out-of-schema field
     * Set `system.min_loglevel` = `100`
 1. Wait for last_config not null
 1. Wait for system operational
-1. Check that system status level is not >= WARNING (400)
+1. Check that system status level is not >= `WARNING` (400)
 1. Update config Before system logs level `DEBUG` category `system.config.receive`
 1. Wait until system logs level `DEBUG` category `system.config.receive`
 1. Wait for last_config updated
 1. Wait for system operational
-1. Check that system status level is not >= WARNING (400)
+1. Check that system status level is not >= `WARNING` (400)
 1. Wait until system logs level `DEBUG` category `system.config.parse`
 1. Wait until system logs level `NOTICE` category `system.config.apply`
 1. Update config Before system logs level `DEBUG` category `system.config.receive`