Add line in smews_test file for runnig a flipping on a recorded trace