public void CreateTautologyFromProposition_NullGiven_ExpectedNullReferenceExceptionThrown()
{
// Arrange // Act
Action act = () => PropositionGenerator.CreateTautologyFromProposition(null);
// Assert
act.Should().Throw <NullReferenceException>("Because create tautology requires a proposition");
}
public void CreateTautologyFromProposition_ValidPropositionGiven_ExpectedAllAssignmentsToResultInTrue(bool truthValue)
{
// Arrange
Proposition randomProposition = PropositionGenerator.GetRandomProposition();
Proposition tautology = PropositionGenerator.CreateTautologyFromProposition(randomProposition);
tautology.TruthValue = truthValue;
// Act
bool actualTruthValue = tautology.Calculate();
// Assert
actualTruthValue.Should().BeTrue("Because a tautology should always evaluate to true");
}