updating assertion files