public void HashCodesMatched_ValidExpressionWithVariablesOnlyGiven_ExpectedTrueReturned(string propositionExpression) { // Arrange logicApp.Parse(propositionExpression); // Act bool actualHashCodesMatchedUp = logicApp.HashCodesMatched(); // Assert actualHashCodesMatchedUp.Should().BeTrue("Because all hash codes should match up in since every proposition would be logically equivalent"); }
public void GenerateExpression_RandomExpressionGeneratedAndPassedToLogicAppForParsing_ExpectedAllHashCodesToMatch() { // Arrange // re-use logic app for not repeating large procedure and for all the hash codes. LogicApp logicApp = new LogicApp(new Parser()); PropositionGenerator propositionGenerator = new PropositionGenerator(); // Act Proposition randomExpression = propositionGenerator.GenerateExpression(); logicApp.Parse(randomExpression); bool hashCodesMatched = logicApp.HashCodesMatched(); // Assert hashCodesMatched.Should().BeTrue("Because a valid expression should be generated"); }