Minor tweak of crash_gen script

This commit is contained in:
Steven Li 2020-06-10 00:11:50 -07:00
parent 511953665d
commit c6b71abc46
1 changed files with 2 additions and 1 deletions

View File

@ -675,6 +675,7 @@ class StateHasData(AnyState):
def verifyTasksToState(self, tasks, newState): def verifyTasksToState(self, tasks, newState):
if ( newState.equals(AnyState.STATE_EMPTY) ): if ( newState.equals(AnyState.STATE_EMPTY) ):
self.hasSuccess(tasks, DropDbTask) self.hasSuccess(tasks, DropDbTask)
if ( not self.hasTask(tasks, CreateDbTask) ) :
self.assertAtMostOneSuccess(tasks, DropDbTask) # TODO: dicy self.assertAtMostOneSuccess(tasks, DropDbTask) # TODO: dicy
elif ( newState.equals(AnyState.STATE_DB_ONLY) ): # in DB only elif ( newState.equals(AnyState.STATE_DB_ONLY) ): # in DB only
if ( not self.hasTask(tasks, CreateDbTask)): # without a create_db task if ( not self.hasTask(tasks, CreateDbTask)): # without a create_db task