aboutsummaryrefslogtreecommitdiffstats
path: root/AssertionChecker
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2013-11-10 13:14:05 +0100
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2013-11-10 13:14:05 +0100
commit4a00f5e58049842f173dd68f367fafa372c618ba (patch)
treee6d8320e202aa60d09f9606c822aa576c0326f97 /AssertionChecker
parenta12ea688813d9c0528d7f71bdbe41ac6f486edbb (diff)
downloadPraspel-4a00f5e58049842f173dd68f367fafa372c618ba.zip
Praspel-4a00f5e58049842f173dd68f367fafa372c618ba.tar.gz
Praspel-4a00f5e58049842f173dd68f367fafa372c618ba.tar.bz2
Fix a null access when computing the trace.
Diffstat (limited to 'AssertionChecker')
-rw-r--r--AssertionChecker/Runtime.php3
1 files changed, 2 insertions, 1 deletions
diff --git a/AssertionChecker/Runtime.php b/AssertionChecker/Runtime.php
index 9f01570..fce105b 100644
--- a/AssertionChecker/Runtime.php
+++ b/AssertionChecker/Runtime.php
@@ -391,7 +391,8 @@ class Runtime extends AssertionChecker {
if(true === $_verdict) {
- $trace->addClause($_trace);
+ if(!empty($trace))
+ $trace->addClause($_trace);
break;
}