using System.Collections.Generic;
using Microsoft.Boogie;

namespace VC;

public interface ProofRun {
  string Description { get; }
  
  List<Counterexample> Counterexamples { get; }

  HashSet<TrackedNodeComponent> CoveredElements { get;  }
}