Skip to content
Permalink
Browse files

kore-json.py: change cell name GeneratedTop => Kevm

  • Loading branch information...
ehildenb committed Apr 14, 2019
1 parent 1f43824 commit dbd49bb9b589d33f056db29a38b21237cafd681c
Showing with 1 addition and 1 deletion.
  1. +1 −1 kore-json.py
@@ -50,7 +50,7 @@ def print_kast(data, sort="SortJSON"):
def print_klabel(s):
print "Lbl" + s.replace("_", "'Unds'").replace("`", "").replace("(.KList)", "{}"),

print "[initial-configuration{}(LblinitGeneratedTopCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Unds'Map'Unds'{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}(\"$PGM\")),inj{SortJSON{}, SortKItem{}}(",
print "[initial-configuration{}(LblinitKevmCell{}(Lbl'Unds'Map'Unds'{}(Lbl'Unds'Map'Unds'{}(Lbl'Unds'Map'Unds'{}(Lbl'Stop'Map{}(),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}(\"$PGM\")),inj{SortJSON{}, SortKItem{}}(",
print_kast(data)
print "))),Lbl'UndsPipe'-'-GT-Unds'{}(inj{SortKConfigVar{}, SortKItem{}}(\dv{SortKConfigVar{}}(\"$SCHEDULE\")),inj{SortSchedule{}, SortKItem{}}(",
print_klabel(sys.argv[2])

0 comments on commit dbd49bb

Please sign in to comment.
You can’t perform that action at this time.