log tests/ffieff.urp

age author description
2013-10-10 Adam Chlipala Make transactional FFI functions effectful by default