autogen expected results and assertion checking them