Changeset 8d6f204 for fedd/deter

Timestamp:
Jan 17, 2012 5:16:33 PM (13 years ago)
Author:
Ted Faber <faber@…>
Branches:
compt_changes, master
Children:
94a6661
Parents:
7653f01
Message:

Returning too many failure proofs locks up the fault mechanism.

(No files)

Note: See TracChangeset for help on using the changeset viewer.