Post-Processor-Infos of "plain.3"
Name: | plain.3 |
Description: | This post processor echoes the first line if it starts with YES or NO or WORST_CASE, and maps everything else to MAYBE. |
Last Update from Star-Exec: | 2015-08-21 10:22:54.171452 UTC |
Name: | plain.3 |
Description: | This post processor echoes the first line if it starts with YES or NO or WORST_CASE, and maps everything else to MAYBE. |
Last Update from Star-Exec: | 2015-08-21 10:22:54.171452 UTC |