Fix: Factorization of all paths in the generated Rust AST #19036
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
4s
singletons
3m 21s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
Annotations
3 errors and 170 warnings
|
integration-tests / test (ubuntu-20.04, 1)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-20.04, 3)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-20.04, 5)
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_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/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/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/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#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/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/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'.
|
|
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_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/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, 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/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, 4):
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, 4):
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, 4):
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, 4):
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, 4):
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, 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_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, 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'.
|
|
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, 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/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, 3):
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, 3):
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, 3):
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, 3):
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, 3):
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, 3):
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, 3):
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 / 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/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'.
|
|
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'.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
integration-test-results-ubuntu-20.04-1
Expired
|
1.66 MB |
sha256:66c7f1902eb5860393998c89568c2352240699d7acfc7b4a0286c4cf68f97d5c
|
|
|
integration-test-results-ubuntu-20.04-2
Expired
|
1.65 MB |
sha256:5e8aed3b0de4f38b8d4476c3f4c64810a28858b35af0b6a5412f0311412bbb91
|
|
|
integration-test-results-ubuntu-20.04-3
Expired
|
1.66 MB |
sha256:8840e067064f52c559041dbb3da1fc82c6b137fcf9d4e525145381a12a0ebdf7
|
|
|
integration-test-results-ubuntu-20.04-4
Expired
|
1.66 MB |
sha256:63eff7da5aa0cea7e5c5b2acd14d36e34306cd66a74f2a07114e506535027edf
|
|
|
integration-test-results-ubuntu-20.04-5
Expired
|
1.67 MB |
sha256:3b64b1e9ab1f47f60bfa94d27212a8ae4b9c5fb84df0798322e5be1cbda8f6db
|
|
|
unit-test-results-macos-13
Expired
|
9.45 MB |
sha256:99e6fb0c1b3a8b8183673c698af17a5a7dbf5ddd2cde7a4bc22a6489b27ab095
|
|
|
unit-test-results-ubuntu-20.04
Expired
|
9.48 MB |
sha256:d4291ac12bf4ac7a7d4abab8f5523b1ebb5d337d8842c5d9af01f5467602b05a
|
|
|
unit-test-results-windows-2019
Expired
|
9.44 MB |
sha256:8c2d23385a5b37ae44c562599adfc76fa9b859b88f05eb21edc6ea5c541e3c94
|
|