feat: add SimpleBoolean for Rust (#344)

adds Rust code expected to be generated by Dafny -> Rust for SimpleBoolean
smithy-lang · May 2, 2024 · 17a810d · 17a810d
1 parent f3af80c
commit 17a810d
Show file tree

Hide file tree

Showing 24 changed files with 2,796 additions and 1 deletion.
diff --git a/.github/workflows/test_models_rust_tests.yml b/.github/workflows/test_models_rust_tests.yml
@@ -33,7 +33,7 @@ jobs:
             # TestModels/SimpleTypes/BigDecimal,
             # TestModels/SimpleTypes/BigInteger,
             # TestModels/SimpleTypes/SimpleBlob,
-            # TestModels/SimpleTypes/SimpleBoolean,
+            TestModels/SimpleTypes/SimpleBoolean,
             # TestModels/SimpleTypes/SimpleByte,
             # TestModels/SimpleTypes/SimpleDouble,
             # TestModels/SimpleTypes/SimpleEnum,

diff --git a/TestModels/SimpleTypes/SimpleBoolean/Makefile b/TestModels/SimpleTypes/SimpleBoolean/Makefile
@@ -22,3 +22,4 @@ SMITHY_DEPS=dafny-dependencies/Model/traits.smithy
 # This project has no dependencies 
 # DEPENDENT-MODELS:= 
 
+RUST_SRC_INDEX=src_for_rust