Cok retry induction tests (dafny-lang#3307)

<small>By submitting this pull request, I confirm that my contribution
is made under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>

Co-authored-by: davidcok <davidcok@github.com>

Source/IntegrationTests/LitTests.cs

@@ -124,8 +124,7 @@ public LitTests(ITestOutputHelper output) {
 
  [FileTheory]
  [FileData(Includes = new[] { "**/*.dfy", "**/*.transcript" },
- Excludes = new[] { "**/Inputs/**/*", "**/Output/**/*",
- "examples/induction-principle-code/*"
+ Excludes = new[] { "**/Inputs/**/*", "**/Output/**/*"
  })]
  public void LitTest(string path) {
  LitTestCase.Run(path, Config, output);