Updated compiling and testing precedures in ATP and UTP