Update dependency FluentAssertions to 7.2.0 #390
GitHub Actions / Test Report
succeeded
Feb 20, 2025 in 0s
9 passed, 0 failed and 0 skipped
✅ src/UnitTests/TestResults/_fv-az1360-23_2025-02-20_18_23_09.trx
9 tests were completed in 771ms with 9 passed, 0 failed and 0 skipped.
| Test suite | Passed | Failed | Skipped | Time |
|---|---|---|---|---|
| NanoByte.SatSolver.ClausesFacts | 2✅ | 23ms | ||
| NanoByte.SatSolver.FormulaFacts | 5✅ | 4ms | ||
| NanoByte.SatSolver.SolverFacts | 2✅ | 27ms |
✅ NanoByte.SatSolver.ClausesFacts
✅ AtMostOne
✅ ExactlyOne
✅ NanoByte.SatSolver.FormulaFacts
✅ DetectsConsistency
✅ EliminatesPureLiterals
✅ PropagatesUnits
✅ Simplifies
✅ SimplifiesCollectionStyle
✅ NanoByte.SatSolver.SolverFacts
✅ DetectsSatisfiableFormulas
✅ DetectsUnsatisfiableFormulas
Loading