From e5e3b3066d9be85f970c4eccdd3cf01e87b5dbbe Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 17 Jun 2011 17:09:29 +0000
Subject: [PATCH] Comment

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3115 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/explicit/CTMCModelChecker.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/prism/src/explicit/CTMCModelChecker.java b/prism/src/explicit/CTMCModelChecker.java
index 082712d4..150eb109 100644
--- a/prism/src/explicit/CTMCModelChecker.java
+++ b/prism/src/explicit/CTMCModelChecker.java
@@ -169,6 +169,8 @@ public class CTMCModelChecker extends DTMCModelChecker
 		int left, right;
 		double q, qt, acc, weights[], totalWeight;
 
+		// TODO: remove 'init' from args, but probably replace with 'mult' like in other engines
+		
 		// Start bounded probabilistic reachability
 		timer = System.currentTimeMillis();
 		mainLog.println("Starting time-bounded probabilistic reachability...");