Open jmc12138 opened 2 months ago
Hi. Thanks a lot for reaching out. Could you please share which commands/steps you have run? Specifically, I was wondering if you have run the keyword extraction and updated the defs-saved.json
file.
Line 810 : condition : ['if the RRCReconfiguration includes the mrdc-SecondaryCellGroupConfig:', 'if the mrdc-SecondaryCellGroupConfig is set to setup:', 'if the received mrdc-SecondaryCellGroup is set to nr-SCG:', 'if the RRCReconfiguration includes the mrdc-SecondaryCellGroupConfig:', 'if the mrdc-SecondaryCellGroupConfig is set to setup:', 'if the received mrdc-SecondaryCellGroup is set to nr-SCG:'] action : perform the RRC reconfiguration according to 5_3_5_3 for the RRCReconfiguration message included in nr-SCG; any -> UNK[label = "(7->set) & (8->set) & (7->set) & (8->set) / (1->perform(7->5_3_5_3, 8->FOR(13->IN(13->IN))))"] / []
Line 811 :
Line 812 : condition : ['if the RRCReconfiguration includes the mrdc-SecondaryCellGroupConfig:', 'if the mrdc-SecondaryCellGroupConfig is set to setup:', 'if the received mrdc-SecondaryCellGroup is set to eutra-SCG:', 'if the RRCReconfiguration includes the mrdc-SecondaryCellGroupConfig:', 'if the mrdc-SecondaryCellGroupConfig is set to setup:', 'if the received mrdc-SecondaryCellGroup is set to eutra-SCG:'] action : perform the RRC connection reconfiguration as specified in TS 36_331 , clause 5_3_5_3 for the RRCConnectionReconfiguration message included in eutra-SCG; any -> UNK[label = "(7->set) & (8->set) & (7->set) & (8->set) / (1->perform(7->REFERENCE(8->IN(8->IN(9->TS(10->36_331, 13->5_3_5_3, 19->IN(19->IN)))))))"] / []
Hello , when follow the readme in folder synthesizers, I use the txt file in data as input.txt . but the output file transitions.txt is empty. can you give me some example input file ?
thank you for your help