pool/klee
SHA256
4
0
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Accepting request 712924 from home:aaronpuchert:branches:devel:tools:statica

Browse Source 
OBS-URL: https://build.opensuse.org/request/show/712924
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=70
This commit is contained in:
Jiri Slaby 2019-07-02 09:33:20 +00:00 committed by Git OBS Bridge
parent 93dc786592
commit f18b2810f7
4 changed files with 474 additions and 1439 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1898
FileCheck.cpp
View File

File diff suppressed because it is too large Load Diff

5
klee.changes
View File

@ -1,3 +1,8 @@
-------------------------------------------------------------------
Mon Jul 1 23:16:30 UTC 2019 - Aaron Puchert <aaronpuchert@alice-dsl.net>
- Switch to LLVM 8.
-------------------------------------------------------------------
Mon May 27 09:39:22 UTC 2019 - jslaby@suse.com

2
klee.spec
View File

@ -16,7 +16,7 @@
#
%define llvm_version_major 7
%define llvm_version_major 8
%define llvm_version_minor 0
%define llvm_version %{llvm_version_major}

8
not.cpp
View File

@ -13,7 +13,9 @@
// Will return true if cmd crashes (e.g. for testing crash reporting).
#include "llvm/Support/Program.h"
#include "llvm/Support/WithColor.h"
#include "llvm/Support/raw_ostream.h"
using namespace llvm;
int main(int argc, const char **argv) {
@ -33,8 +35,8 @@ int main(int argc, const char **argv) {
auto Program = sys::findProgramByName(argv[0]);
if (!Program) {
errs() << "Error: Unable to find `" << argv[0]
<< "' in PATH: " << Program.getError().message() << "\n";
WithColor::error() << "unable to find `" << argv[0]
<< "' in PATH: " << Program.getError().message() << "\n";
return 1;
}
@ -53,7 +55,7 @@ int main(int argc, const char **argv) {
Result = -3;
#endif
if (Result < 0) {
errs() << "Error: " << ErrMsg << "\n";
WithColor::error() << ErrMsg << "\n";
if (ExpectCrash)
return 0;
return 1;