File tree Expand file tree Collapse file tree 3 files changed +1
-3
lines changed Expand file tree Collapse file tree 3 files changed +1
-3
lines changed Original file line number Diff line number Diff line change @@ -82,7 +82,7 @@ Common Makefile targets are:
82
82
- The above command takes a while to complete.
83
83
- ` make test_net_mac_intel ` builds and tests the transpiled code in .NET in an Intel-MacOS environment.
84
84
- ` make transpile_rust ` transpiles all of the Dafny code into runtimes/rust/src/implementation_from_dafny.
85
- - ` make polymorph_rust ` transpiles the smithy files into untimes/rust/src/* .rs
85
+ - ` make polymorph_rust ` transpiles the smithy files into untimes/rust/src/\ * .rs
86
86
87
87
### Development Requirements
88
88
Original file line number Diff line number Diff line change @@ -63,4 +63,3 @@ Please note that tests and test vectors require internet access and valid AWS cr
63
63
## License
64
64
65
65
This library is licensed under the Apache 2.0 License.
66
-
Original file line number Diff line number Diff line change @@ -25,7 +25,6 @@ This validates the Database Encryption SDK's cross-version compatibility.
25
25
7 . Run ` make transpile_rust `
26
26
8 . Run ` make polymorph_rust `
27
27
9 . Run ` make test_rust `
28
-
29
28
30
29
### Saving results for later
31
30
You can’t perform that action at this time.
0 commit comments