summaryrefslogtreecommitdiff
path: root/lib
diff options
context:
space:
mode:
authorDaniel Friesel <daniel.friesel@uos.de>2021-03-24 11:39:20 +0100
committerDaniel Friesel <daniel.friesel@uos.de>2021-03-24 11:39:20 +0100
commit422fbfd6ba25b20d115adaae8180875840f7df15 (patch)
tree0a63f093af1b1d9cdde864892ce0acdab9d72e6f /lib
parent0f2a3b9b68dae48df99b8fa5b54e3e6123c7ccca (diff)
Add nearly correct JSON export for v0 measurements without PTA definition
Transition source/destination names are not correct yet
Diffstat (limited to 'lib')
-rw-r--r--lib/model.py5
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/model.py b/lib/model.py
index 5000caa..ea89a4e 100644
--- a/lib/model.py
+++ b/lib/model.py
@@ -793,6 +793,11 @@ class PTAModel(AnalyticModel):
pta = self.pta
if pta is None:
pta = PTA(self.states, parameters=self._parameter_names)
+ logger.warning(
+ "to_json: self.pta is None. Transitions will have incorrect origin/destination states."
+ )
+ for transition in self.transitions:
+ pta.add_transition("UNINITIALIZED", "UNINITIALIZED", transition)
pta.update(
param_info, static_error=static_quality, function_error=analytic_quality
)