// RUN: echo Input for Stdin.dfy
// Note that the current directory for .NET tests is always the output directory
// for the IntegrationTests project.
// i.e. something like IntegrationTests/bin/Debug/net6.0

include "TestFiles/LitTests/LitTest/dafny0/Tuples.dfy"