Create assert.txt