Update code generation info file

src/sccd/statechart/codegen/code_generation.txt

@@ -15,8 +15,10 @@ Currently passing:
     semantics/priority/test_explicit_ortho.xml
     semantics/priority/test_source_child.xml
     semantics/priority/test_source_parent.xml
+    semantics/big_step_maximality/test_flat_syntactic.xml
     semantics/big_step_maximality/test_flat_takemany.xml
     semantics/big_step_maximality/test_flat_takeone.xml
+    semantics/big_step_maximality/test_ortho_syntactic.xml
     semantics/big_step_maximality/test_ortho_takemany.xml
     semantics/big_step_maximality/test_ortho_takeone.xml
     xml_syntax/stateref/test_flat_absolute.xml
@@ -32,7 +34,6 @@ Currently unimplemented:
     - multi-event triggers
       - internal events (raising and 'sensing')
         - IEL semantics
-    - 'syntactic' maximality
 
 
 Roadmap

src/sccd/statechart/codegen/rust.py

@@ -568,9 +568,8 @@ def compile_statechart(sc: Statechart, globals: Globals, w: IndentingWriter):
         w.writeln("  println!(\"info: Arenas: {} bytes\", size_of::<Arenas>());")
         def write_state_size(state):
             w.writeln("  println!(\"info: %s: {} bytes\", size_of::<%s>());" % (state.full_name, ident_type(state)))
-            for child in state.children:
-                if not isinstance(child, HistoryState):
-                    write_state_size(child)
+            for child in state.real_children:
+                write_state_size(child)
         write_state_size(tree.root)
         w.writeln("  println!(\"------------------------\");")
         w.writeln("}")