Test to verify the SMT and core online/offline operations.#3109

SamirMulani wants to merge 1 commit intoavocado-framework-tests:masteravocado-framework-tests/avocado-misc-tests:masterfrom

SamirMulani:smt_core_stormSamirMulani/avocado-misc-tests:smt_core_stormCopy head branch name to clipboard