issues
search
staticafi
/
satt
Static analysis tools tester
2
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
store output of runs into files
#39
mchalupa
opened
7 years ago
0
use logging module
#38
mchalupa
opened
8 years ago
0
symbiotic: UNKNOWN due to property is reported as ERROR
#37
mchalupa
opened
8 years ago
0
running tasks are not killed when satt is interrupted
#36
mchalupa
opened
8 years ago
0
add option that will allow to run only one benchmark set
#35
mchalupa
opened
8 years ago
0
store logs into subdirectory
#34
mchalupa
opened
8 years ago
0
satt: use new DatabaseProxy class in reporter.py
#33
mchalupa
opened
8 years ago
0
get verbose witness output
#32
mchalupa
closed
8 years ago
1
storing points is broken
#31
mchalupa
closed
8 years ago
1
some benchmarks missing
#30
mchalupa
closed
8 years ago
1
performance issues
#29
mchalupa
opened
8 years ago
0
use benchexec for running benchmarks
#28
mchalupa
opened
8 years ago
0
add --skip-done-tasks
#27
mchalupa
closed
8 years ago
0
store witness checker output and witness itself into db
#26
mchalupa
closed
8 years ago
1
no debug output when FALSE is returned
#25
mchalupa
closed
8 years ago
1
klee has no git hash in version string
#24
mchalupa
closed
8 years ago
0
send e-mail after satt copletes
#23
mchalupa
closed
9 years ago
2
exclude option doesn't work
#22
mchalupa
closed
9 years ago
0
Improve help: tool is optional
#21
strejcek
closed
9 years ago
3
Add statistics to satt
#20
mchalupa
opened
9 years ago
0
Optimize db queries
#19
mchalupa
opened
9 years ago
0
Propt user if he wants remove benchmarks when running again
#18
mchalupa
closed
8 years ago
1
Show/store progress of running
#17
mchalupa
closed
9 years ago
1
make counting points method of RathingMethod
#16
mchalupa
closed
9 years ago
1
cli tool for statica database administration
#15
mchalupa
opened
9 years ago
1
Add --note switch
#14
mchalupa
closed
9 years ago
1
Infer year from path when --benchmarks is given
#13
mchalupa
closed
9 years ago
1
allow break lines in config files
#12
mchalupa
closed
9 years ago
1
Synchronize machines parallely
#11
mchalupa
opened
9 years ago
0
remove klee-dir after killing klee
#10
mchalupa
closed
9 years ago
1
Take None as ERROR
#9
mchalupa
closed
9 years ago
2
Counting points is hard-coded to 2015 scheme
#8
mchalupa
closed
9 years ago
1
No time is stored on TIMEOUT
#7
mchalupa
closed
8 years ago
1
Rework versioning of Symbiotic in satt
#6
mchalupa
closed
9 years ago
1
Add multi-level debug option
#5
mchalupa
opened
9 years ago
0
Read username and password to database from configuration
#4
mchalupa
closed
9 years ago
1
Symbiotic: memory consumption is not measured correctly
#3
mchalupa
opened
9 years ago
1
merge run_ln_benchmark.sh to run_benchmark
#2
mchalupa
closed
9 years ago
1
Symbiotic: temporary directory is not removed when runme is killed
#1
mchalupa
closed
8 years ago
5