Bases: congress.tests.base.TestCase
Test MAT_THEORY.
Check that runtime RUN’s MAT_THEORY theory has exactly the same contents as CORRECT_DATABASE_CODE.
Test DB_THEORY.
Check that runtime RUN.theory[DB_THEORY] is equal to CORRECT_DATABASE_CODE.
Checks if ACTUAL_CODE is an instance of CORRECT_CODE.
Test proofs.
Check that the proofs stored in runtime RUN are exactly those in CORRECT.
Checks if ACTUAL_CODE is a variable-renaming of CORRECT_CODE.
Test access control: whether a given action is permitted.
Test enforcement.
Test our encoding of the Neutron actions basics by simulation.
Test remediation computation.