removed a check condition from crash_gen

This commit is contained in:
Steven Li 2020-06-11 18:50:49 -07:00
parent 0d90cc8932
commit 7dd6e6a442
1 changed files with 2 additions and 2 deletions

View File

@ -691,7 +691,7 @@ class StateHasData(AnyState):
self.assertNoTask(tasks, DropDbTask)
if (not self.hasTask(tasks, CreateFixedSuperTableTask)) : # if we didn't create the table
self.assertNoTask(tasks, DropFixedSuperTableTask) # we should not have a task that drops it
self.assertIfExistThenSuccess(tasks, ReadFixedDataTask)
# self.assertIfExistThenSuccess(tasks, ReadFixedDataTask)
# State of the database as we believe it to be