Be conservative with assume() usage

This commit is contained in:
Markus Unterwaditzer 2016-04-28 21:49:39 +02:00
parent 208c9ca787
commit e7d73da4aa

View file

@ -437,7 +437,7 @@ class SyncMachine(RuleBasedStateMachine):
raise
else:
assert not list(a.list()) or not list(b.list())
assume(False)
return status
assert sorted(item.raw for etag, item in a.items.values()) == \
sorted(item.raw for etag, item in b.items.values())