From e32e7e3e7c1ea2ab198e93cdec55d4cd8691374e1e69723f5012f38708618694 Mon Sep 17 00:00:00 2001
From: Dominique Leuenberger <dleuenberger@suse.com>
Date: Fri, 10 Mar 2017 20:45:54 +0000
Subject: [PATCH] Accepting request 456830 from devel:tools:statica

klee is a symbolic executor used for static analysis.

OBS-URL: https://build.opensuse.org/request/show/456830
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/klee?expand=0&rev=1