Fix: Factorization of all paths in the generated Rust AST #19039
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
5s
singletons
3m 46s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
Annotations
3 errors and 170 warnings
|
integration-tests / test (ubuntu-20.04, 2)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-20.04, 4)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-20.04, 1)
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/DAST.cs#L6325
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#L6357
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#L6596
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#L6965
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#L6966
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/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/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/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'.
|
|
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#L799
The type '_ITuple4<T0, T1, T2, T3>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple4<T0, T1, T2, T3>' 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#L810
The type '_ITuple4<T0, T1, T2, T3>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple4<T0, T1, T2, T3>' 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#L840
The type '_ITuple4<T0, T1, T2, T3>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple4<T0, T1, T2, T3>' 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#L843
The type '_ITuple4<T0, T1, T2, T3>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple4<T0, T1, T2, T3>' 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#L846
The type '_ITuple4<T0, T1, T2, T3>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple4<T0, T1, T2, T3>' 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#L849
The type '_ITuple4<T0, T1, T2, T3>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple4<T0, T1, T2, T3>' 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#L797
The type '_ITuple4<T0, T1, T2, T3>' in '/home/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs' conflicts with the imported type '_ITuple4<T0, T1, T2, T3>' 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/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/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 / 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/DAST.cs#L5956
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/DAST.cs#L5961
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/DAST.cs#L5997
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/DAST.cs#L6052
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/DAST.cs#L6070
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/DAST.cs#L6133
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/DAST.cs#L6325
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/DAST.cs#L6357
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/DAST.cs#L6596
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 / 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/DafnyRuntimeSystemModule.cs#L572
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/DafnyRuntimeSystemModule.cs#L574
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/DafnyRuntimeSystemModule.cs#L581
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/DafnyRuntimeSystemModule.cs#L605
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/DafnyRuntimeSystemModule.cs#L608
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/DafnyRuntimeSystemModule.cs#L611
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/DafnyRuntimeSystemModule.cs#L614
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/DafnyRuntimeSystemModule.cs#L630
The type '_ITuple0' in '/Users/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 '/Users/runner/work/dafny/dafny/dafny/Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs'.
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/DafnyRuntimeSystemModule.cs#L632
The type '_ITuple0' in '/Users/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 '/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'.
|
|
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'.
|
|
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/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, 5):
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, 5):
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, 5):
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, 5):
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, 5):
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, 5):
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, 5):
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, 5):
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'.
|
|
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/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, 2):
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, 2):
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, 2):
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, 2):
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, 2):
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, 2):
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, 2):
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, 2):
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'.
|
|
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/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, 4):
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, 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_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'.
|
|
integration-tests / test (ubuntu-20.04, 4):
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, 4):
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/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/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, 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'.
|
|
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, 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, 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'.
|
|
integration-tests / test (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'.
|
|
integration-tests / test (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'.
|
|
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'.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
integration-test-results-ubuntu-20.04-1
Expired
|
1.67 MB |
sha256:072caab24a27fc4d551cd2ad2b0c1fed393e3879457be6a74ef5c2ecb8f4a6a1
|
|
|
integration-test-results-ubuntu-20.04-2
Expired
|
1.66 MB |
sha256:22fcacc6a705ffeeef3c5970c1c921833857eac04040f95e5780f6773ae964e7
|
|
|
integration-test-results-ubuntu-20.04-3
Expired
|
1.65 MB |
sha256:74eebd968d0b81459d4af2efb15bd238335a4b2b8d0f51c1351eedbbbb6b6cdb
|
|
|
integration-test-results-ubuntu-20.04-4
Expired
|
1.66 MB |
sha256:fbf6bc76a8d99eb86c55f3f3320282ee35625dbe075963b9d29177bd333e3058
|
|
|
integration-test-results-ubuntu-20.04-5
Expired
|
1.66 MB |
sha256:78d67f593c4fe60feea4af5f3f2abd3bf8cbea057bcb5e133edaab5716b7980f
|
|
|
unit-test-results-macos-13
Expired
|
9.45 MB |
sha256:ce259ce86ac6dffac98137d130acd1e3c7f4a1b3062ac3c23528a8349ba247d0
|
|
|
unit-test-results-ubuntu-20.04
Expired
|
9.48 MB |
sha256:00625dcbd15e124cb045afa0cc2de3a05415e89425ae4b2434074efb6f7df759
|
|
|
unit-test-results-windows-2019
Expired
|
9.44 MB |
sha256:01a83fd4d92487ff0a9649bdbdaa8b899b458f98a543f05746d443ed57c92232
|
|