From 04ee836211c91b880ff628ed567125cf8da07845 Mon Sep 17 00:00:00 2001 From: Levente Bajczi Date: Wed, 20 Nov 2024 23:22:44 +0100 Subject: [PATCH] adding back theta-short.xml --- .../actions/benchexec-test/theta-short.xml | 202 ++++++++++++++++++ 1 file changed, 202 insertions(+) create mode 100644 .github/actions/benchexec-test/theta-short.xml diff --git a/.github/actions/benchexec-test/theta-short.xml b/.github/actions/benchexec-test/theta-short.xml new file mode 100644 index 0000000000..65491106ac --- /dev/null +++ b/.github/actions/benchexec-test/theta-short.xml @@ -0,0 +1,202 @@ + + + + + **/witness.* + + + + + + + + ../sv-benchmarks/c/Arrays.set + ../sv-benchmarks/c/properties/unreach-call.prp + + + ../sv-benchmarks/c/BitVectors.set + ../sv-benchmarks/c/properties/unreach-call.prp + + + ../sv-benchmarks/c/ControlFlow.set + ../sv-benchmarks/c/properties/unreach-call.prp + + + ../sv-benchmarks/c/ECA.set + ../sv-benchmarks/c/properties/unreach-call.prp + + + ../sv-benchmarks/c/Floats.set + ../sv-benchmarks/c/properties/unreach-call.prp + + + ../sv-benchmarks/c/Heap.set + ../sv-benchmarks/c/LinkedLists.set + ../sv-benchmarks/c/properties/unreach-call.prp + + + ../sv-benchmarks/c/Loops.set + ../sv-benchmarks/c/VerifyThis-Loops.set + ../sv-benchmarks/c/properties/unreach-call.prp + + + ../sv-benchmarks/c/ProductLines.set + ../sv-benchmarks/c/properties/unreach-call.prp + + + ../sv-benchmarks/c/Recursive.set + ../sv-benchmarks/c/VerifyThis-Recursive.set + ../sv-benchmarks/c/properties/unreach-call.prp + + + ../sv-benchmarks/c/Sequentialized.set + ../sv-benchmarks/c/properties/unreach-call.prp + + + ../sv-benchmarks/c/XCSP.set + ../sv-benchmarks/c/properties/unreach-call.prp + + + ../sv-benchmarks/c/Combinations.set + ../sv-benchmarks/c/properties/unreach-call.prp + + + ../sv-benchmarks/c/Hardware.set + ../sv-benchmarks/c/properties/unreach-call.prp + + + ../sv-benchmarks/c/Hardness.set + ../sv-benchmarks/c/properties/unreach-call.prp + + + ../sv-benchmarks/c/Fuzzle.set + ../sv-benchmarks/c/properties/unreach-call.prp + + + + ../sv-benchmarks/c/Concurrency.set + ../sv-benchmarks/c/properties/unreach-call.prp + + + + + + ../sv-benchmarks/c/Concurrency.set + ../sv-benchmarks/c/properties/no-data-race.prp + + + + + + ../sv-benchmarks/c/Heap.set + ../sv-benchmarks/c/Juliet.set + ../sv-benchmarks/c/LinkedLists.set + ../sv-benchmarks/c/VerifyThis-Loops.set + ../sv-benchmarks/c/VerifyThis-Recursive.set + ../sv-benchmarks/c/properties/valid-memcleanup.prp + + + + + + ../sv-benchmarks/c/Arrays.set + ../sv-benchmarks/c/Heap-Termination.set + ../sv-benchmarks/c/VerifyThis-Loops.set + ../sv-benchmarks/c/VerifyThis-Recursive.set + ../sv-benchmarks/c/properties/valid-memsafety.prp + + + ../sv-benchmarks/c/Heap.set + ../sv-benchmarks/c/properties/valid-memsafety.prp + + + ../sv-benchmarks/c/LinkedLists.set + ../sv-benchmarks/c/properties/valid-memsafety.prp + + + ../sv-benchmarks/c/Loops.set + ../sv-benchmarks/c/ControlFlow.set + ../sv-benchmarks/c/ControlFlow-Termination.set + ../sv-benchmarks/c/Recursive.set + ../sv-benchmarks/c/properties/valid-memsafety.prp + + + ../sv-benchmarks/c/Juliet.set + + ../sv-benchmarks/c/Juliet_Test/*_bad.yml + ../sv-benchmarks/c/properties/valid-memsafety.prp + + + + ../sv-benchmarks/c/Concurrency.set + ../sv-benchmarks/c/properties/valid-memsafety.prp + + + + + + ../sv-benchmarks/c/Arrays.set + ../sv-benchmarks/c/BitVectors.set + ../sv-benchmarks/c/BitVectors-Termination.set + ../sv-benchmarks/c/ControlFlow.set + ../sv-benchmarks/c/ControlFlow-Termination.set + ../sv-benchmarks/c/ECA.set + ../sv-benchmarks/c/Floats.set + ../sv-benchmarks/c/Heap.set + ../sv-benchmarks/c/Heap-Termination.set + ../sv-benchmarks/c/LinkedLists.set + ../sv-benchmarks/c/Loops.set + ../sv-benchmarks/c/Recursive.set + ../sv-benchmarks/c/Sequentialized.set + ../sv-benchmarks/c/VerifyThis-Loops.set + ../sv-benchmarks/c/VerifyThis-Recursive.set + ../sv-benchmarks/c/XCSP.set + ../sv-benchmarks/c/SoftwareSystems-AWS-C-Common.set + ../sv-benchmarks/c/SoftwareSystems-DeviceDriversLinux64.set + ../sv-benchmarks/c/properties/no-overflow.prp + + + ../sv-benchmarks/c/Juliet.set + ../sv-benchmarks/c/properties/no-overflow.prp + + + + ../sv-benchmarks/c/Concurrency.set + ../sv-benchmarks/c/properties/no-overflow.prp + + + + + + ../sv-benchmarks/c/BitVectors-Termination.set + ../sv-benchmarks/c/properties/termination.prp + + + ../sv-benchmarks/c/ControlFlow-Termination.set + ../sv-benchmarks/c/properties/termination.prp + + + ../sv-benchmarks/c/Heap-Termination.set + ../sv-benchmarks/c/properties/termination.prp + + + ../sv-benchmarks/c/Arrays.set + ../sv-benchmarks/c/BitVectors.set + ../sv-benchmarks/c/ControlFlow.set + ../sv-benchmarks/c/ECA.set + ../sv-benchmarks/c/Floats.set + ../sv-benchmarks/c/Heap.set + ../sv-benchmarks/c/Loops.set + ../sv-benchmarks/c/ProductLines.set + ../sv-benchmarks/c/Recursive.set + ../sv-benchmarks/c/Sequentialized.set + ../sv-benchmarks/c/SoftwareSystems-uthash.set + ../sv-benchmarks/c/properties/termination.prp + + + + + + +