anchor.diff:  ;;; Elaborating spec at $SPECWARE/Library/ProverBase/System
   ;;; Elaborating spec at $SPECWARE/Library/Base/ProverRewrite
   ;;; Elaborating spec at $SPECWARE/Library/Base/ProverBase
  -ShouldBeProvable: Conjecture change is Proved. using Snark.
  +ShouldBeProvable: Conjecture change is Proved! using Snark.
       Snark Log file: $TESTDIR/Bug_0043/Both/Change/ShouldBeProvable.log
   
   
  
positive.code:   :show   "Bug_0045/ToString"
    :output ";;; Elaborating spec at $TESTDIR/Bug_0045/ToString
  
  spec
    op b : Nat -> String
    def b = toString
  endspec
  ")
  
  
   ("Bug 0045 : Unambiguous op erroneously declared ambiguous [FlipFlop]"
    :show   "Bug_0045/Flop#FlipFlopImplementation" 
    :output ";;; Elaborating spec-morphism at $TESTDIR/Bug_0045/Flop#FlipFlopImplementation
  ;;; Elaborating spec at $TESTDIR/Bug_0045/Flop#Flipflop
  ;;; Elaborating spec at $TESTDIR/Bug_0045/Flop#FlipFlopImplementation
  
  morphism
      spec  
   type Flip
   op flop : Flip -> Flip
  endspec
  
      ->
      spec  
  endspec
  
      {type Flip
       +->
       Boolean.Boolean,
       op flop
       +->
       ~}
  ")
  
   ("Bug 0053 : Strange result is shown for result of spec-substitution"
  
negative.code: ")
  
   ("Bug 0067 : Signature constraints in spec morphism are not checked"
    :show   "Bug_0067/CheckSignature#M" 
    :output ";;; Elaborating spec-morphism at $TESTDIR/Bug_0067/CheckSignature#M
  ;;; Elaborating spec at $TESTDIR/Bug_0067/CheckSignature#S1
  ;;; Elaborating spec at $TESTDIR/Bug_0067/CheckSignature#S2
  Error in morphism: Inconsistent signature mapping for f +-> f
  The domain sort A
    translates to B
     which is not C
   found in $TESTDIR/Bug_0067/CheckSignature.sw
  14.13-14.14")
  
   ("Bug 0068 : Even numbers can be refined to odd numbers"
    :show   "Bug_0068/EvenToOdd#O" 
    :output "<some kind of error message>")
  
   ("Bug 0069 : Translate from base"
    :show   "Bug_0069/TranslateFromBase#M" 
  