A test framework to test Walkthroughs on WalkHub