Bases: congress.tests.base.TestCase
Bases: congress.tests.base.TestCase
Check that the bi-unification fails.
Create unification and check basic results.
Test the bi-unification routine and its supporting routines.
Test whether the INSTANCE computation is correct.
Test whether the SAME computation is correct.