Skip to content

Latest commit

 

History

History
67 lines (62 loc) · 3.01 KB

report.md

File metadata and controls

67 lines (62 loc) · 3.01 KB
Raw

Report

Task3

Test Status Reason
check Inv2AFile Not Deleted ❌ Failed
There are 5 possible tokens that can appear here
check Inv3No Deleted Files ❌ Failed
There are 5 possible tokens that can appear here
check Inv2Possible To Delete Files ❌ Failed
There are 5 possible tokens that can appear here
check Inv6File Linking To Two Files ❌ Failed
There are 5 possible tokens that can appear here
check Inv9Linke Files Exist ❌ Failed
There are 5 possible tokens that can appear here
check Inv9Consecutive Link Chain ❌ Failed
There are 5 possible tokens that can appear here
check Inv5Some Deleted Unprotected File ❌ Failed
There are 5 possible tokens that can appear here
check Inv6Files With No Links Possible ❌ Failed
There are 5 possible tokens that can appear here
check Inv5An Unprotected And Not Deleted File ❌ Failed
There are 5 possible tokens that can appear here
check Inv8Linke Files Exist ❌ Failed
There are 5 possible tokens that can appear here
check Inv7Linke Files Exist ❌ Failed
There are 5 possible tokens that can appear here
check Inv6Files With One Link Possible ❌ Failed
There are 5 possible tokens that can appear here
check Inv3AFile Is Deleted ❌ Failed
There are 5 possible tokens that can appear here
check Inv10Deleted Link Without Deleted Target ❌ Failed
There are 5 possible tokens that can appear here
check Inv1Some Trashed File ❌ Failed
There are 5 possible tokens that can appear here
check Inv7ALinked File Is Deleted ❌ Failed
There are 5 possible tokens that can appear here
check Inv4Some Deleted File ❌ Failed
There are 5 possible tokens that can appear here
check Inv8Two Files With No Links ❌ Failed
There are 5 possible tokens that can appear here
check Inv4AProtected File Is Deleted ❌ Failed
There are 5 possible tokens that can appear here
check Inv10Linke And Deleted Files Exist ❌ Failed
There are 5 possible tokens that can appear here
check Inv1Some Files Exist ❌ Failed
There are 5 possible tokens that can appear here

Task2

Test Status Reason
check Killer Of Agatha ✅ Passed -
check Run Commands ✅ Passed -
check Not Killer Of Agatha ❌ Failed Model does not identify the correct killer of Agatha

Task1

Test Status Reason
check Number Of Predicates ❌ Failed Number of predicates is less than 2
check Number Of Facts ❌ Failed Number of facts is less than 2
check Number Of Run Commands ❌ Failed Number of run commands is less than 2
check Run Commands ❌ Failed No unsatisfiable run command found
check Inheritance ❌ Failed No signature found that extebnds another signature.
check Number Of Signatures ❌ Failed Number of signatures is less than 4
check Number Of Fields Per Signature ✅ Passed -