using System.Collections.Concurrent;
using Microsoft.Dafny;

namespace DafnyCore.Test;

public class GeneratedDafnyTest {
  [Fact]
  public void TestDafnyGeneratedCode() {
    DafnyToRustCompilerCoverage.RASTCoverage.__default.TestExpr();
  }
}