Prove tecniche per testare SmartGit e conflitti