Fix: Factorization of all paths in the generated Rust AST #19027
MikaelMayer
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
msbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
9s
singletons
3m 38s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
Annotations
4 errors and 172 warnings
|
integration-tests / test (ubuntu-20.04, 2)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-20.04, 1)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-20.04, 5)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-20.04, 3)
Process completed with exit code 1.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DafnyCompilerRustUtils.cs#L18
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L131
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L146
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L179
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L265
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L270
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DAST.cs#L6271
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L131
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DafnyCompilerRustUtils.cs#L18
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L179
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L265
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L270
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L131
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L146
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L131
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L146
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DafnyCompilerRustUtils.cs#L18
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L572
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L574
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L581
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L605
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L608
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L611
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L614
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L630
The type '_ITuple0' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple0' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L632
The type '_ITuple0' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple0' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyCompilerRustUtils.cs#L18
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L572
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L574
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L581
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L605
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L608
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L611
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L614
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L630
The type '_ITuple0' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple0' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L632
The type '_ITuple0' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple0' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyCompilerRustUtils.cs#L18
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L179
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L265
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L270
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L131
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L146
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L131
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L146
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyCompilerRustUtils.cs#L18
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DAST.cs#L6271
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DAST.cs#L6303
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L179
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L265
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L270
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L572
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L574
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyCompilerRustUtils.cs#L18
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L572
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L574
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L581
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L605
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L608
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L611
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L614
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L630
The type '_ITuple0' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple0' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L632
The type '_ITuple0' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple0' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyCompilerRustUtils.cs#L18
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L572
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L574
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L581
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L605
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L608
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L611
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L614
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L630
The type '_ITuple0' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple0' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L632
The type '_ITuple0' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple0' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DafnyCompilerRustUtils.cs#L18
The type '_ITuple2<T0, T1>' in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L572
The type '_ITuple2<T0, T1>' in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L574
The type '_ITuple2<T0, T1>' in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L581
The type '_ITuple2<T0, T1>' in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L605
The type '_ITuple2<T0, T1>' in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L608
The type '_ITuple2<T0, T1>' in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L611
The type '_ITuple2<T0, T1>' in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L614
The type '_ITuple2<T0, T1>' in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L630
The type '_ITuple0' in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple0' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L632
The type '_ITuple0' in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple0' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DafnyCompilerRustUtils.cs#L18
The type '_ITuple2<T0, T1>' in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L572
The type '_ITuple2<T0, T1>' in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L574
The type '_ITuple2<T0, T1>' in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L581
The type '_ITuple2<T0, T1>' in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L605
The type '_ITuple2<T0, T1>' in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L608
The type '_ITuple2<T0, T1>' in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L611
The type '_ITuple2<T0, T1>' in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L614
The type '_ITuple2<T0, T1>' in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L630
The type '_ITuple0' in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple0' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L632
The type '_ITuple0' in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple0' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in 'D:\a\dafny\dafny\dafny\Source\DafnyCore\GeneratedFromDafny\DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / win (1):
Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L179
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L265
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L270
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/GeneratedFromDafny/DafnyCompilerRustUtils.cs#L18
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L131
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L146
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L131
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L146
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/GeneratedFromDafny/DafnyCompilerRustUtils.cs#L18
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L131
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L146
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L179
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L131
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L146
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L265
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L270
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/DafnyCompilerRustUtils.cs#L18
The type '_ITuple2<T0, T1>' in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L179
The type '_ITuple2<T0, T1>' in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L265
The type '_ITuple2<T0, T1>' in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L270
The type '_ITuple2<T0, T1>' in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L131
The type '_ITuple2<T0, T1>' in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L146
The type '_ITuple2<T0, T1>' in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L131
The type '_ITuple2<T0, T1>' in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L146
The type '_ITuple2<T0, T1>' in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/DafnyCompilerRustUtils.cs#L18
The type '_ITuple2<T0, T1>' in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L179
The type '_ITuple2<T0, T1>' in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L265
The type '_ITuple2<T0, T1>' in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L270
The type '_ITuple2<T0, T1>' in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L131
The type '_ITuple2<T0, T1>' in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L146
The type '_ITuple2<T0, T1>' in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L131
The type '_ITuple2<T0, T1>' in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L146
The type '_ITuple2<T0, T1>' in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / osx (1):
Source/DafnyDriver/Commands/VerifyCommand.cs#L101
WriteLine synchronously blocks. Await WriteLineAsync instead. (https://github.com/Microsoft/vs-threading/blob/master/doc/analyzers/VSTHRD103.md)
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/GeneratedFromDafny/DafnyCompilerRustUtils.cs#L18
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L572
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L574
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L581
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L605
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L608
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L611
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L614
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L630
The type '_ITuple0' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple0' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/GeneratedFromDafny/DafnyCompilerRustUtils.cs#L18
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L179
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L265
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L270
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L131
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L146
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L131
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_HexConversion.cs#L146
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/GeneratedFromDafny/DafnyCompilerRustUtils.cs#L18
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L169
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L179
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L265
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/GeneratedFromDafny/Std_Collections_Seq.cs#L270
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L131
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/GeneratedFromDafny/Std_Strings_DecimalConversion.cs#L146
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L572
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L574
The type '_ITuple2<T0, T1>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple2<T0, T1>' in 'DafnyRuntime, Version=0.0.0.0, Culture=neutral, PublicKeyToken=null'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
integration-test-results-ubuntu-20.04-1
Expired
|
1.66 MB |
sha256:8f7474c513738043ca3b4d58db7a381db8950dec8080e4ea530eeddf1b134a54
|
|
|
integration-test-results-ubuntu-20.04-2
Expired
|
1.66 MB |
sha256:b337179b34e775d11c6bc7a0057bfde9ccadc78e29d151ff6e8b354ac02048a0
|
|
|
integration-test-results-ubuntu-20.04-3
Expired
|
1.66 MB |
sha256:bb2ba59e3aab95021428d19d2fa5ef9d7de98e3cbc7f37d42cb4bf247a33a7a0
|
|
|
integration-test-results-ubuntu-20.04-4
Expired
|
1.66 MB |
sha256:3cbde399e0aa65a34d7ca883a1deb13c656731fe4cb46f9c2d04ea8e8b281f93
|
|
|
integration-test-results-ubuntu-20.04-5
Expired
|
1.67 MB |
sha256:b4c6c324cf8379ed21ca1251983f9f47da5ad5cf81f7d9b5e789e16ac700653a
|
|
|
unit-test-results-macos-13
Expired
|
9.44 MB |
sha256:83d0f4d5a61a27e8696f4627749f25205a360caffdfc356e3cdd8e34194ba27e
|
|
|
unit-test-results-ubuntu-20.04
Expired
|
9.47 MB |
sha256:3a6206399acbe3d8543b7923b99d6613f23602af360236701fccc48ca1e2e908
|
|
|
unit-test-results-windows-2019
Expired
|
9.43 MB |
sha256:470d0a30086e15895ae9237c97b63dab66f026ba27c40891fbbe55b7b8e0afe2
|
|