report.md

Report

Task0:Rbac Table Reader

Test	Status	Reason
Get Roles	✅ Passed	-
Get Permissions	✅ Passed	-
Get Roles For Permission	✅ Passed	-
Get Permissions For Role	✅ Passed	-

Task1:Role Based Access Control Table Translator

Test	Status	Reason
Translate To Formula1Sat	❌ Failed	⚠️ RuntimeException
Translate To Formula Rbac1Contains All Roles And Permissions	❌ Failed	⚠️ RuntimeException
Translate To Formula2Sat	❌ Failed	⚠️ RuntimeException
Translate To Formula Rbac2Contains All Roles And Permissions	❌ Failed	⚠️ RuntimeException

Task2:Role Basec Access Control Analyzer

Test	Status	Reason
Every User With Role Has Permissions	❌ Failed	⚠️ RuntimeException
Only Users With Role Have Permissions	❌ Failed	⚠️ RuntimeException
No User Has Both Permissions	❌ Failed	⚠️ RuntimeException
No User Has Both Permissions2	❌ Failed	⚠️ RuntimeException
Only Users With Role Have Permissions2	❌ Failed	⚠️ RuntimeException
Every User With Role Has Permissions2	❌ Failed	⚠️ RuntimeException

Additional

Test	Status	Reason
Additional	✅ Passed	-

Limboole Executor

Test	Status	Reason
Limboole Working	✅ Passed	-