Return state hash with correct key names (#273)

gussmith23 · Jul 13, 2023 · 30e8aa6 · 30e8aa6
1 parent 427f91d
commit 30e8aa6
Show file tree

Hide file tree

Showing 4 changed files with 62,706 additions and 16,205 deletions.
diff --git a/racket/btor.rkt b/racket/btor.rkt
@@ -211,7 +211,8 @@
          ;;; We build a hash map that maps state symbols (e.g. 'state0) to the expressions that convey
          ;;; the output value for the state.
          (set! output-state-hash
-               `(append (list (cons ',(hash-ref state-symbols (string->number state-id-str))
+               `(append (list (cons ,(make-state-key-expr
+                                      (hash-ref state-symbols (string->number state-id-str)))
                                     (signal-value ,(get-expr-id-str next-val-id-str))))
                         ,output-state-hash))]
         ;;; Do nothing. Should be handled by the above code which does a first pass for init values.