issues
search
gernst
/
legion-symcc
Fresh implementation of the Legion algorithm on top of SyMCC
Other
0
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[TestComp-2022] `TestCov` Error that does not affect `LibKluzzer`
#29
DonggeLiu
opened
2 years ago
0
[TestComp-2022] OSError: [Errno 12] Cannot allocate memory
#28
DonggeLiu
opened
2 years ago
0
[TestComp-2022] Incompatibility Error
#27
DonggeLiu
closed
2 years ago
1
[TestComp-2022] ERROR with very few test case
#26
DonggeLiu
opened
2 years ago
0
[TestComp-2022] Invalid trace
#25
DonggeLiu
opened
2 years ago
0
[TestComp-2022] `OUT OF MEMORY` with no output from `Legion-SymCC`
#24
DonggeLiu
opened
2 years ago
0
[TestComp-2022] `OUT OF MEMORY` with extremely long output
#23
DonggeLiu
opened
2 years ago
0
Main change: get rid of `is_exhausted` and `is_explored`
#22
gernst
closed
2 years ago
2
[TestComp-2022] `TIMEOUT` with 0 test case
#21
DonggeLiu
opened
2 years ago
1
[TestComp-2022] Status `done` with the minimum test case generated
#20
DonggeLiu
opened
2 years ago
2
/legion.sh ../sv-benchmarks/c/ldv-sets/test_add-1.i
#19
gernst
opened
2 years ago
0
[TestComp-2022] Timeout when parsing the program
#18
DonggeLiu
opened
2 years ago
0
[TestComp-2022] Exceeded max bracket nesting level
#17
DonggeLiu
closed
2 years ago
0
[TestComp-2022] Unimplemented function `__VERIFIER_nondet_unsigned_char`
#16
DonggeLiu
closed
2 years ago
1
[TestComp-2022] Assertion Error (line 254)
#15
DonggeLiu
closed
2 years ago
1
[TestComp-2022] Assertion Error (line 243)
#14
DonggeLiu
closed
2 years ago
1
"make docker" fails in the last step
#13
thuanpv
closed
2 years ago
1
Refactor tree structure
#12
gernst
opened
2 years ago
0
Fix slow integration of new paths into the tree
#11
gernst
closed
2 years ago
1
Fix I/O deadlock
#10
gernst
closed
2 years ago
0
Gradually increase execution trace length
#9
gernst
opened
2 years ago
0
Increase stack limit for parser in Python
#8
gernst
closed
2 years ago
0
Symbolic memory
#7
gernst
opened
2 years ago
1
Improve sampling scheme
#6
gernst
opened
2 years ago
2
Tune resource limits per execution
#5
gernst
opened
2 years ago
0
Fix unexpected exhausted node
#4
gernst
closed
2 years ago
1
Support category reach error
#3
gernst
opened
2 years ago
0
Figure out why sometimes paths are sometimes not preserved
#2
gernst
opened
2 years ago
0
Support all floating point operations
#1
gernst
opened
2 years ago
3