diff options
| author | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2013-11-10 13:14:05 +0100 |
|---|---|---|
| committer | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2013-11-10 13:14:05 +0100 |
| commit | 4a00f5e58049842f173dd68f367fafa372c618ba (patch) | |
| tree | e6d8320e202aa60d09f9606c822aa576c0326f97 /AssertionChecker | |
| parent | a12ea688813d9c0528d7f71bdbe41ac6f486edbb (diff) | |
| download | Praspel-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.php | 3 |
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; } |