117b095 Incorporate pull request feedback

Authored and Committed by psss 5 years ago
    Incorporate pull request feedback
    
    * Rename parameter to "fmf_filter" to make it more distinct
    * Extend comment for the str-filter-tests command
    * Gather results from filtered tests as well
    * Add forgotten link to fmf documentation
    
        
file modified
+2 -0