Merge branch 'release-5.0'

fdbrpc/sim2.actor.cpp

@@ -1275,6 +1275,11 @@ public:
 			}
 		}
 
+		TEST(kt == RebootAndDelete); // Resulted in a reboot and delete
+		TEST(kt == Reboot); // Resulted in a reboot
+		TEST(kt == KillInstantly); // Resulted in an instant kill
+		TEST(kt == InjectFaults);  // Resulted in a kill by injecting faults
+
 		return true;
 	}