Skip to content

Commit

Permalink
Fix bug in ICD generation
Browse files Browse the repository at this point in the history
This bug was introduced by merging PR #317. The issue caused the ICD tables for sequences, choices, and similar components to be empty when their child components were primitive types.
  • Loading branch information
usr3-1415 committed Dec 15, 2024
1 parent d9f556f commit 656bf98
Showing 1 changed file with 7 additions and 1 deletion.
8 changes: 7 additions & 1 deletion BackendAst/DAstACN.fs
Original file line number Diff line number Diff line change
Expand Up @@ -291,7 +291,13 @@ let private createAcnFunction (r: Asn1AcnAst.AstRoot)
let sInitialExp = ""
let func, funcDef, auxiliaries, icdResult, ns2 =
match funcNameAndtasInfo with
| None -> None, None, [], None, ns
| None ->
let content, ns1a = funcBody ns errCode [] (NestingScope.init t.acnMaxSizeInBits t.uperMaxSizeInBits []) p
let icdResult =
match content with
| None -> None
| Some bodyResult -> bodyResult.icdResult
None, None, [], icdResult, ns1a
| Some funcName ->
let precondAnnots = lm.lg.generatePrecond r ACN t codec
let postcondAnnots = lm.lg.generatePostcond r ACN funcNameBase p t codec
Expand Down

0 comments on commit 656bf98

Please sign in to comment.