Skip to content

Commit 73701e2

Browse files
Vladislav Kaluginsava-cska
Vladislav Kalugin
authored and
sava-cska
committed
Clean files
1 parent e1a2b06 commit 73701e2

92 files changed

Lines changed: 0 additions & 361 deletions

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎benchmark.xml‎

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,4 @@
11
<?xml version="1.0"?>
2-
<!--
3-
~ This source file has been modified by Huawei. Copyright (c) 2021
4-
-->
52

63
<!DOCTYPE benchmark PUBLIC "+//IDN sosy-lab.org//DTD BenchExec benchmark 1.18//EN" "https://www.sosy-lab.org/benchexec/benchmark-1.18.dtd">
74
<benchmark tool="klee" displayName="KLEE" timelimit="15 s" memlimit="15 GB" cpuCores="8">

‎build.sh‎

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,4 @@
11
#!/bin/bash
2-
#
3-
# Copyright (c) Huawei Technologies Co., Ltd. 2012-2021. All rights reserved.
4-
#
5-
62
# This script is used to build KLEE as UTBot backend
73

84
set -e

‎include/klee-test-comp.c‎

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,3 @@
1-
/*
2-
* This source file has been modified by Huawei. Copyright (c) 2021
3-
*/
4-
51
//===-- klee-test-comp.cpp ------------------------------------------------===//
62
//
73
// The KLEE Symbolic Virtual Machine

‎include/klee/ADT/ImmutableMap.h‎

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,3 @@
1-
/*
2-
* This source file has been modified by Huawei. Copyright (c) 2021
3-
*/
4-
51
//===-- ImmutableMap.h ------------------------------------------*- C++ -*-===//
62
//
73
// The KLEE Symbolic Virtual Machine

‎include/klee/ADT/ImmutableTree.h‎

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,3 @@
1-
/*
2-
* This source file has been modified by Huawei. Copyright (c) 2021
3-
*/
4-
51
//===-- ImmutableTree.h -----------------------------------------*- C++ -*-===//
62
//
73
// The KLEE Symbolic Virtual Machine

‎include/klee/Config/config.h.cmin‎

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,3 @@
1-
/*
2-
* This source file has been modified by Huawei. Copyright (c) 2021
3-
*/
4-
51
#ifndef KLEE_CONFIG_H
62
#define KLEE_CONFIG_H
73

‎include/klee/Core/Interpreter.h‎

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,3 @@
1-
/*
2-
* This source file has been modified by Huawei. Copyright (c) 2021
3-
*/
4-
51
//===-- Interpreter.h - Abstract Execution Engine Interface -----*- C++ -*-===//
62
//
73
// The KLEE Symbolic Virtual Machine

‎include/klee/Expr/Expr.h‎

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,3 @@
1-
/*
2-
* This source file has been modified by Huawei. Copyright (c) 2021
3-
*/
4-
51
//===-- Expr.h --------------------------------------------------*- C++ -*-===//
62
//
73
// The KLEE Symbolic Virtual Machine

‎include/klee/Expr/ExprVisitor.h‎

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,3 @@
1-
/*
2-
* This source file has been modified by Huawei. Copyright (c) 2021
3-
*/
4-
51
//===-- ExprVisitor.h -------------------------------------------*- C++ -*-===//
62
//
73
// The KLEE Symbolic Virtual Machine

‎include/klee/Module/KInstruction.h‎

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,3 @@
1-
/*
2-
* This source file has been modified by Huawei. Copyright (c) 2021
3-
*/
4-
51
//===-- KInstruction.h ------------------------------------------*- C++ -*-===//
62
//
73
// The KLEE Symbolic Virtual Machine

0 commit comments

Comments
 (0)