report.md

Report

Task1:Alloy Checker Dead Signature

Test	Status	Reason
check Dead Sigs For List	❌ Failed	⚠️ NullPointerException
check Dead Sigs For Dead1	❌ Failed	⚠️ NullPointerException
check Dead Sigs For Dead2	❌ Failed	⚠️ NullPointerException
check Dead Sigs For Dreadbury Puzzle	❌ Failed	⚠️ NullPointerException
check Dead Sigs For Houses Puzzle	❌ Failed	⚠️ NullPointerException

Task2:Alloy Checker Core Signature

Test	Status	Reason
check Core Sigs For List	❌ Failed	⚠️ NullPointerException
check Core Sigs For Dead1	❌ Failed	⚠️ NullPointerException
check Core Sig For Dead2	❌ Failed	⚠️ NullPointerException
check Core Sigs For Dreadbury Puzzle	❌ Failed	⚠️ NullPointerException
check Core Sigs For Houses Puzzle	❌ Failed	⚠️ NullPointerException

Task3:Alloy Checker Min Scope

Test	Status	Reason
check Min Scopes For List	❌ Failed	⚠️ NullPointerException
check Min Scopes For Dead1	❌ Failed	⚠️ NullPointerException
check Min Scopes For Dead2	❌ Failed	⚠️ NullPointerException
check Min Scopes For Dreadbury Puzzle	❌ Failed	⚠️ NullPointerException
check Min Scopes For Houses Puzzle	❌ Failed	⚠️ NullPointerException