EdefTests (Opening examples for README)