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"); }