| #!/bin/bash |
| ################################################################################ |
| ## |
| ## Filename: passcheck.sh |
| ## |
| ## Project: WB2AXIPSP: bus bridges and other odds and ends |
| ## |
| ## Purpose: This script simply checks for failing proofs of any type, |
| ## printing out the files associated with any such failing proofs. |
| ## |
| ## Creator: Dan Gisselquist, Ph.D. |
| ## Gisselquist Technology, LLC |
| ## |
| ################################################################################ |
| ## |
| ## This simple bash script is herein donated to the public domain |
| ## |
| ################################################################################ |
| ## |
| ## |
| ## Sort these results to give them a consistent order |
| ## |
| find . -name FAIL | sort |
| find . -name UNKNOWN | sort |
| find . -name ERROR | sort |
