./unit_tests: performing random action 0
./unit_tests: performing random action 1
./unit_tests: considering acting on ''
./unit_tests: adding file 'MtdDu0'
./unit_tests: performing random action 2
./unit_tests: considering acting on ''
./unit_tests: considering acting on 'MtdDu0'
./unit_tests: deleting 'MtdDu0'
./unit_tests: ../S-wm-noconflict/roster.cc:3078: invariant 'I(!(prev == r))' violated