Skip to content

Commit

Permalink
Update go mod
Browse files Browse the repository at this point in the history
  • Loading branch information
@rishav-karanjit
rishav-karanjit committed Oct 24, 2024
1 parent ec7791b commit f091075
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
4 changes: 2 additions & 2 deletions TestModels/CallingAWSSDKFromLocalService/runtimes/go/ImplementationFromDafny-go/go.mod
View file
Original file line number Diff line number Diff line change
Expand Up @@ -31,6 +31,6 @@ require (

replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/

replace github.com/smithy-lang/smithy-dafny/kmsv2 => /Users/rishavkj/Documents/Storage/Team-Repos/smithy-dafny/TestModels/aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/
replace github.com/smithy-lang/smithy-dafny/kmsv2 => ../../../../aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/

replace github.com/smithy-lang/smithy-dafny/ddbv2 => /Users/rishavkj/Documents/Storage/Team-Repos/smithy-dafny/TestModels/aws-sdks/ddbv2/runtimes/go/ImplementationFromDafny-go/
replace github.com/smithy-lang/smithy-dafny/ddbv2 => ../../../../aws-sdks/ddbv2/runtimes/go/ImplementationFromDafny-go/
4 changes: 2 additions & 2 deletions TestModels/CallingAWSSDKFromLocalService/runtimes/go/TestsFromDafny-go/go.mod
View file
Original file line number Diff line number Diff line change
Expand Up @@ -35,6 +35,6 @@ replace github.com/smithy-lang/smithy-dafny/TestModels/CallingAWSSDKFromLocalSer

replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/

replace github.com/smithy-lang/smithy-dafny/kmsv2 => /Users/rishavkj/Documents/Storage/Team-Repos/smithy-dafny/TestModels/aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/
replace github.com/smithy-lang/smithy-dafny/kmsv2 => ../../../../aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/

replace github.com/smithy-lang/smithy-dafny/ddbv2 => /Users/rishavkj/Documents/Storage/Team-Repos/smithy-dafny/TestModels/aws-sdks/ddbv2/runtimes/go/ImplementationFromDafny-go/
replace github.com/smithy-lang/smithy-dafny/ddbv2 => ../../../../aws-sdks/ddbv2/runtimes/go/ImplementationFromDafny-go/

0 comments on commit f091075

Please sign in to comment.