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 |