public void ToString_NoVariablesInTruthTableRow_OnlyResultColumnReturned(bool resultValue)
{
// Arrange
TruthTableRow ttr = GenerateTruthTableRowWithXPropositionVariables(0);
ttr.Result = resultValue;
// Act
String result = ttr.ToString();
int len = result.Split().Length;
// Assert
len.Should().Be(1, "Because only the resulting column will be included");
}
public void ToString_MultipleVariablesInTruthTableRow_NumberOfPiecesShouldBeEquivalentToNumberOfVariablesPlusOneForResultColumn()
{
// Arrange
Random rng = new Random();
int numberOfVariables = rng.Next(1, 5);
TruthTableRow ttr = GenerateTruthTableRowWithXPropositionVariables(numberOfVariables);
// Act
String result = ttr.ToString();
String[] parts = result.Split(TruthTableRow.GetPadding());
int numberOfExpectedParts = numberOfVariables + 1;
// Assert
parts.Length.Should().Be(numberOfExpectedParts, "Because the string should display a value for each variable and a result");
}
