izlatkin HornLauncher issues

izlatkin / HornLauncher

scripts and reports for executions seahorn and test generation

0 stars 0 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

[s3 openssl] issue with two benchmarks

#54 izlatkin opened 2 years ago
0
add script for coveritest

#53 izlatkin opened 2 years ago
0
Add scripts for libkluzzer and coveritest

#52 izlatkin closed 2 years ago
1
Default header if no test were generated

#51 izlatkin closed 2 years ago
1
[report] add graph.pdf in the report

#50 izlatkin opened 2 years ago
0
[TestCov] execution error with size_t

#49 izlatkin opened 2 years ago
0
[coverage] merge bug

#48 izlatkin opened 2 years ago
0
[report] select statistics request

#47 izlatkin opened 2 years ago
2
[smt_run.sh] update script with inline options

#46 izlatkin closed 2 years ago
0
[report] add TestCov results to Excel report

#45 izlatkin opened 2 years ago
0
[memorysafty] low coverage - check global-atexit-1.c

#44 izlatkin opened 2 years ago
0
[improvement] add log check script and build graph

#43 izlatkin closed 2 years ago
1
[Report] error in coverage report for: sumt7.c, sumt8.c, sumt9.c

#42 izlatkin opened 2 years ago
0
inv-mode 2 vs inv-mode 0

#41 izlatkin opened 2 years ago
1
[Error: key not found] list of benchmarks

#40 izlatkin opened 2 years ago
2
[iftelse.c] coverage different

#39 izlatkin opened 2 years ago
0
[TestCov integration] large size of some xml files

#38 izlatkin opened 2 years ago
0
[loops] Benchmarks with low coverage

#37 izlatkin opened 2 years ago
2
[TG] feature-request for testget_X.h

#36 izlatkin opened 2 years ago
1
[openssl_simplified] TG doesn't generate any testcases

#35 izlatkin opened 3 years ago
3
[loops] check 8 benchmarks: diff coverage results for different TG modes

#34 izlatkin opened 3 years ago
6
[TG] Invalid query argument, expected uinterpreted function name, but argument is interpreted

#33 izlatkin opened 3 years ago
0
wrong instrumentation for gcnr2008.c

#32 izlatkin opened 3 years ago
0
[TestGen script] add method to replace (return X;) => (return rand();) and (return X;) => (exit(0)=>exit(rand()))

#31 izlatkin opened 3 years ago
0
[report] absolute path should be replace to relative

#30 izlatkin closed 3 years ago
3
[HornLaucher] instrumentation doesn't work for ldv-linux-3.4-simple

#29 izlatkin opened 3 years ago
2
Assertion failed: (varNum >= 0) for count_by_nondet.c

#28 izlatkin closed 2 years ago
5
run script with eca and ldv-linux-3.4-simple

#27 izlatkin closed 2 years ago
1
[wrong coverage] loop4.c

#26 izlatkin closed 2 years ago
1
float case: ___VERIFIER_nondet_float

#25 izlatkin closed 3 years ago
2
instrumentation error for n.c24

#24 izlatkin closed 2 years ago
1
Fixing LARGE_INT:

#23 izlatkin closed 3 years ago
1
check and fix files with implicit declaration

#22 izlatkin closed 2 years ago
2
[tool tg] low coverage for benchmark17_conjunctive

#21 izlatkin closed 3 years ago
2
[tool tg] low coverage for gauss_sum.i.p+lhb-reducer

#20 izlatkin closed 3 years ago
2
[tg tool] low coverage for terminator_02-2

#19 izlatkin closed 2 years ago
8
[tg tool] false "Error: key 34747 not found"

#18 izlatkin closed 3 years ago
1
[tg tool] non digit in array inp_3653[] = {1, __loc_var_7, -3653, 0};

#17 izlatkin closed 3 years ago
3
[Abort trap: 6] for c/loops/trex02-1.c

#16 izlatkin closed 2 years ago
1
SeaHorn bug for sv-benchmarks/c/loops/sum03-1.c

#15 izlatkin closed 2 years ago
2
low coverage for sv-benchmarks/c/loops/nec11.c

#14 izlatkin closed 2 years ago
3
[Segmentation fault: 11] for insertion_sort-1.smt2

#13 izlatkin closed 2 years ago
7
[tg tool] some of testgen.h do not contains all necessary methods

#12 izlatkin closed 3 years ago
6
mistake in coverage merge for nec11.c

#11 izlatkin closed 3 years ago
1
replace/comment abort() and reach_error() function

#10 izlatkin closed 3 years ago
1
add command line support

#9 izlatkin closed 3 years ago
1
add time per file in log and in console

#8 izlatkin closed 3 years ago
1
add different type support

#7 izlatkin closed 3 years ago
0
add extra preprocessing for c-files

#6 izlatkin closed 2 years ago
0
coverage should be available for the case when process is terminated

#5 izlatkin closed 3 years ago
1