SynDEx version 6.6. 2: Fault-Tolerance User Manual