private void AssertInconsistencyDetected(IProcedure4 proc) { ConsistencyCheckerTestSuite.Item item = new ConsistencyCheckerTestSuite.Item(); _db.Store(item); _db.Commit(); Assert.IsTrue(new ConsistencyChecker(_db).CheckSlotConsistency().Consistent()); proc.Apply(item); _db.Commit(); Assert.IsFalse(new ConsistencyChecker(_db).CheckSlotConsistency().Consistent()); }
private void AssertInconsistencyDetected(IProcedure4 proc) { ConsistencyCheckerTestSuite.Item item = new ConsistencyCheckerTestSuite.Item(); _db.Store(item); _db.Commit(); Assert.IsTrue(new ConsistencyChecker(_db).CheckSlotConsistency().Consistent()); proc.Apply(item); _db.Commit(); Assert.IsFalse(new ConsistencyChecker(_db).CheckSlotConsistency().Consistent()); }