anchor.diff:  	    (:optional ";; Directory $TESTDIR/Snark/MathFact/ does not exist, will create.")
   	    "    Expanded spec file: $TESTDIR/Snark/MathFact/sum_spec_p1.sw"
   	    "    Snark Log file: $TESTDIR/Snark/MathFact/sum_spec_p1.log"
  -	    "sum_spec_p1: Conjecture sum_zero in sum_spec_obs is NOT proved using Snark."
  -	    "")
  -  )
  +	    "sum_spec_p1: Conjecture sum_zero in sum_spec_obs is Proved! using Snark."
  +	    ""))
         
    ("twk_message 8/13/04"
     :sw "Tuples"
  
positive.code: 	    "    Expanded spec file: $TESTDIR/Snark/Tuples/P2.sw"
  	    "    Snark Log file: $TESTDIR/Snark/Tuples/P2.log"
  	    "P2: Conjecture twoMakesMakeAMatch2 in O1 is Proved! using simple inequality reasoning."
  	    "")
    )
   )
  
negative.code: (test-directories ".")
  
  (test 
  
   ("twk message 1/8/03" 
    :sw "t0103_1"
    :output '(";;; Elaborating spec at $TESTDIR/t0103_1#player"
  