Comment by tuesdayrain

If you write enough tests you could probably know for a fact that your contract doesn't have any bugs.