Skip to content

Commit

Permalink
Update copyright statement.
Browse files Browse the repository at this point in the history
  • Loading branch information
@PhilippWendler
PhilippWendler committed Feb 13, 2015
1 parent 34890d7 commit 74f9b47
Show file tree
Hide file tree
Showing 34 changed files with 374 additions and 124 deletions.
11 changes: 3 additions & 8 deletions benchexec.py
View file
@@ -1,10 +1,9 @@
#!/usr/bin/env python

"""
CPAchecker is a tool for configurable software verification.
This file is part of CPAchecker.
BenchExec is a framework for reliable benchmarking.
This file is part of BenchExec.
Copyright (C) 2007-2014 Dirk Beyer
Copyright (C) 2007-2015 Dirk Beyer
All rights reserved.
Licensed under the Apache License, Version 2.0 (the "License");
Expand All @@ -18,10 +17,6 @@
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
CPAchecker web page:
http://cpachecker.sosy-lab.org
"""

# prepare for Python 3
Expand Down
10 changes: 3 additions & 7 deletions benchexec/__init__.py
View file
@@ -1,8 +1,8 @@
"""
CPAchecker is a tool for configurable software verification.
This file is part of CPAchecker.
BenchExec is a framework for reliable benchmarking.
This file is part of BenchExec.
Copyright (C) 2007-2014 Dirk Beyer
Copyright (C) 2007-2015 Dirk Beyer
All rights reserved.
Licensed under the Apache License, Version 2.0 (the "License");
Expand All @@ -16,10 +16,6 @@
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
CPAchecker web page:
http://cpachecker.sosy-lab.org
"""

# prepare for Python 3
Expand Down
10 changes: 3 additions & 7 deletions benchexec/cgroups.py
View file
@@ -1,8 +1,8 @@
"""
CPAchecker is a tool for configurable software verification.
This file is part of CPAchecker.
BenchExec is a framework for reliable benchmarking.
This file is part of BenchExec.
Copyright (C) 2007-2014 Dirk Beyer
Copyright (C) 2007-2015 Dirk Beyer
All rights reserved.
Licensed under the Apache License, Version 2.0 (the "License");
Expand All @@ -16,10 +16,6 @@
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
CPAchecker web page:
http://cpachecker.sosy-lab.org
"""

# prepare for Python 3
Expand Down
10 changes: 3 additions & 7 deletions benchexec/filewriter.py
View file
@@ -1,8 +1,8 @@
"""
CPAchecker is a tool for configurable software verification.
This file is part of CPAchecker.
BenchExec is a framework for reliable benchmarking.
This file is part of BenchExec.
Copyright (C) 2007-2014 Dirk Beyer
Copyright (C) 2007-2015 Dirk Beyer
All rights reserved.
Licensed under the Apache License, Version 2.0 (the "License");
Expand All @@ -16,10 +16,6 @@
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
CPAchecker web page:
http://cpachecker.sosy-lab.org
"""

# prepare for Python 3
Expand Down
10 changes: 3 additions & 7 deletions benchexec/localexecution.py
View file
@@ -1,8 +1,8 @@
"""
CPAchecker is a tool for configurable software verification.
This file is part of CPAchecker.
BenchExec is a framework for reliable benchmarking.
This file is part of BenchExec.
Copyright (C) 2007-2014 Dirk Beyer
Copyright (C) 2007-2015 Dirk Beyer
All rights reserved.
Licensed under the Apache License, Version 2.0 (the "License");
Expand All @@ -16,10 +16,6 @@
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
CPAchecker web page:
http://cpachecker.sosy-lab.org
"""

# prepare for Python 3
Expand Down
10 changes: 3 additions & 7 deletions benchexec/model.py
View file
@@ -1,8 +1,8 @@
"""
CPAchecker is a tool for configurable software verification.
This file is part of CPAchecker.
BenchExec is a framework for reliable benchmarking.
This file is part of BenchExec.
Copyright (C) 2007-2014 Dirk Beyer
Copyright (C) 2007-2015 Dirk Beyer
All rights reserved.
Licensed under the Apache License, Version 2.0 (the "License");
Expand All @@ -16,10 +16,6 @@
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
CPAchecker web page:
http://cpachecker.sosy-lab.org
"""

# prepare for Python 3
Expand Down
10 changes: 3 additions & 7 deletions benchexec/oomhandler.py
View file
@@ -1,8 +1,8 @@
"""
CPAchecker is a tool for configurable software verification.
This file is part of CPAchecker.
BenchExec is a framework for reliable benchmarking.
This file is part of BenchExec.
Copyright (C) 2007-2014 Dirk Beyer
Copyright (C) 2007-2015 Dirk Beyer
All rights reserved.
Licensed under the Apache License, Version 2.0 (the "License");
Expand All @@ -16,10 +16,6 @@
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
CPAchecker web page:
http://cpachecker.sosy-lab.org
"""

# prepare for Python 3
Expand Down
10 changes: 3 additions & 7 deletions benchexec/outputhandler.py
View file
@@ -1,8 +1,8 @@
"""
CPAchecker is a tool for configurable software verification.
This file is part of CPAchecker.
BenchExec is a framework for reliable benchmarking.
This file is part of BenchExec.
Copyright (C) 2007-2014 Dirk Beyer
Copyright (C) 2007-2015 Dirk Beyer
All rights reserved.
Licensed under the Apache License, Version 2.0 (the "License");
Expand All @@ -16,10 +16,6 @@
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
CPAchecker web page:
http://cpachecker.sosy-lab.org
"""

# prepare for Python 3
Expand Down
10 changes: 3 additions & 7 deletions benchexec/result.py
View file
@@ -1,8 +1,8 @@
"""
CPAchecker is a tool for configurable software verification.
This file is part of CPAchecker.
BenchExec is a framework for reliable benchmarking.
This file is part of BenchExec.
Copyright (C) 2007-2014 Dirk Beyer
Copyright (C) 2007-2015 Dirk Beyer
All rights reserved.
Licensed under the Apache License, Version 2.0 (the "License");
Expand All @@ -16,10 +16,6 @@
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
CPAchecker web page:
http://cpachecker.sosy-lab.org
"""

# prepare for Python 3
Expand Down
10 changes: 3 additions & 7 deletions benchexec/runexecutor.py
View file
@@ -1,8 +1,8 @@
"""
CPAchecker is a tool for configurable software verification.
This file is part of CPAchecker.
BenchExec is a framework for reliable benchmarking.
This file is part of BenchExec.
Copyright (C) 2007-2014 Dirk Beyer
Copyright (C) 2007-2015 Dirk Beyer
All rights reserved.
Licensed under the Apache License, Version 2.0 (the "License");
Expand All @@ -16,10 +16,6 @@
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
CPAchecker web page:
http://cpachecker.sosy-lab.org
"""

# prepare for Python 3
Expand Down
10 changes: 3 additions & 7 deletions benchexec/systeminfo.py
View file
@@ -1,8 +1,8 @@
"""
CPAchecker is a tool for configurable software verification.
This file is part of CPAchecker.
BenchExec is a framework for reliable benchmarking.
This file is part of BenchExec.
Copyright (C) 2007-2014 Dirk Beyer
Copyright (C) 2007-2015 Dirk Beyer
All rights reserved.
Licensed under the Apache License, Version 2.0 (the "License");
Expand All @@ -16,10 +16,6 @@
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
CPAchecker web page:
http://cpachecker.sosy-lab.org
"""

# prepare for Python 3
Expand Down
12 changes: 3 additions & 9 deletions benchexec/tablegenerator/__init__.py
View file
@@ -1,10 +1,8 @@
#!/usr/bin/env python

"""
CPAchecker is a tool for configurable software verification.
This file is part of CPAchecker.
BenchExec is a framework for reliable benchmarking.
This file is part of BenchExec.
Copyright (C) 2007-2014 Dirk Beyer
Copyright (C) 2007-2015 Dirk Beyer
All rights reserved.
Licensed under the Apache License, Version 2.0 (the "License");
Expand All @@ -18,10 +16,6 @@
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
CPAchecker web page:
http://cpachecker.sosy-lab.org
"""

# prepare for Python 3
Expand Down
10 changes: 3 additions & 7 deletions benchexec/test_core_assignment.py
View file
@@ -1,8 +1,8 @@
"""
CPAchecker is a tool for configurable software verification.
This file is part of CPAchecker.
BenchExec is a framework for reliable benchmarking.
This file is part of BenchExec.
Copyright (C) 2007-2014 Dirk Beyer
Copyright (C) 2007-2015 Dirk Beyer
All rights reserved.
Licensed under the Apache License, Version 2.0 (the "License");
Expand All @@ -16,10 +16,6 @@
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
CPAchecker web page:
http://cpachecker.sosy-lab.org
"""

# prepare for Python 3
Expand Down
19 changes: 19 additions & 0 deletions benchexec/tools/acsar.py
View file
@@ -1,3 +1,22 @@
"""
BenchExec is a framework for reliable benchmarking.
This file is part of BenchExec.
Copyright (C) 2007-2015 Dirk Beyer
All rights reserved.
Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
"""
import os
import subprocess

Expand Down
19 changes: 19 additions & 0 deletions benchexec/tools/blast.py
View file
@@ -1,3 +1,22 @@
"""
BenchExec is a framework for reliable benchmarking.
This file is part of BenchExec.
Copyright (C) 2007-2015 Dirk Beyer
All rights reserved.
Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
"""
import subprocess
import os

Expand Down
19 changes: 19 additions & 0 deletions benchexec/tools/cbmc.py
View file
@@ -1,3 +1,22 @@
"""
BenchExec is a framework for reliable benchmarking.
This file is part of BenchExec.
Copyright (C) 2007-2015 Dirk Beyer
All rights reserved.
Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at
http://www.apache.org/licenses/LICENSE-2.0
Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
"""
import logging
import os
import platform
Expand Down
11 changes: 3 additions & 8 deletions benchexec/tools/cpachecker.py
View file
@@ -1,10 +1,9 @@
#!/usr/bin/env python

"""
CPAchecker is a tool for configurable software verification.
This file is part of CPAchecker.
BenchExec is a framework for reliable benchmarking.
This file is part of BenchExec.
Copyright (C) 2007-2014 Dirk Beyer
Copyright (C) 2007-2015 Dirk Beyer
All rights reserved.
Licensed under the Apache License, Version 2.0 (the "License");
Expand All @@ -18,10 +17,6 @@
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
CPAchecker web page:
http://cpachecker.sosy-lab.org
"""

# prepare for Python 3
Expand Down

0 comments on commit 74f9b47

Please sign in to comment.