Additional tests for TedivmStashExtension