Updated DEF micro tests with DEF-TX.