Update test_core_vera.lua