Created
December 17, 2024 16:21
-
-
Save bitsgalore/46e5dc9c6b733878f8e31930f421720b to your computer and use it in GitHub Desktop.
Arlington model checker output for MalformedFilter-Xerox.pdf
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <?xml version="1.0" encoding="utf-8"?> | |
| <report> | |
| <buildInformation> | |
| <releaseDetails id="validation-model-arlington" version="1.23.66" buildDate="2023-06-21T07:25:00+02:00"></releaseDetails> | |
| <releaseDetails id="gui-arlington" version="1.23.68" buildDate="2023-06-21T07:31:00+02:00"></releaseDetails> | |
| <releaseDetails id="core-arlington" version="1.23.35" buildDate="2023-06-19T20:45:00+02:00"></releaseDetails> | |
| </buildInformation> | |
| <jobs> | |
| <job> | |
| <item size="13565"> | |
| <name>/home/johan/test/MalformedFilter-Xerox.pdf</name> | |
| </item> | |
| <validationReport jobEndStatus="normal" profileName="Arlington PDF 1.4 profile" statement="PDF file is compliant with Validation Profile requirements." isCompliant="true"> | |
| <details passedRules="4728" failedRules="0" passedChecks="617" failedChecks="0"></details> | |
| </validationReport> | |
| <duration start="1734452218523" finish="1734452219399">00:00:00.876</duration> | |
| </job> | |
| </jobs> | |
| <batchSummary totalJobs="1" failedToParse="0" encrypted="0" outOfMemory="0" veraExceptions="0"> | |
| <validationReports compliant="1" nonCompliant="0" failedJobs="0">1</validationReports> | |
| <featureReports failedJobs="0">0</featureReports> | |
| <repairReports failedJobs="0">0</repairReports> | |
| <duration start="1734452218439" finish="1734452219426">00:00:00.987</duration> | |
| </batchSummary> | |
| </report> |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment