public void CreateContradictionFromProposition_NullGiven_ExpectedNullReferenceExceptionThrown()
{
// Arrange // Act
Action act = () => PropositionGenerator.CreateContradictionFromProposition(null);
// Assert
act.Should().Throw <NullReferenceException>("Because create contradiction requires a proposition");
}
public void CreateContradictionFromProposition_ValidPropositionGiven_ExpectedAllAssignmentsToResultInFalse(bool truthValue)
{
// Arrange
Proposition randomProposition = PropositionGenerator.GetRandomProposition();
Proposition contradiction = PropositionGenerator.CreateContradictionFromProposition(randomProposition);
contradiction.TruthValue = truthValue;
// Act
bool actualTruthValue = contradiction.Calculate();
// Assert
actualTruthValue.Should().BeFalse("Because a contradiction should always evaluate to false");
}