issues
search
testsmt
/
yinyang
A fuzzing framework for SMT solvers
https://testsmt.github.io/
MIT License
185
stars
23
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Exception while running typefuzz on the remote server
#66
BritikovKI
closed
8 months ago
3
fix: missing comma in bib reference
#65
brutalsavage
opened
1 year ago
0
Deepcopy interrupt the execution.
#64
muchang
opened
1 year ago
0
fix: ignore seeds that are not supported by ffg api
#63
nicdard
closed
1 year ago
2
Create seed permutations on-demand
#62
lweitzendorf
closed
1 year ago
0
fix: make sure there are still available variables during allocation
#61
nicdard
closed
1 year ago
0
Parsing error
#60
depted
opened
2 years ago
4
Update setup.rst
#59
tracyewen
closed
1 year ago
0
multiple variables
#58
nicdard
closed
1 year ago
0
new fusion functions - API mode
#57
nicdard
closed
2 years ago
0
minor
#56
wintered
closed
2 years ago
0
Fixing scoping bug
#55
wintered
closed
2 years ago
0
Feat: --keep-seeds and --generate-functions command line option
#54
nicdard
closed
2 years ago
3
Feat: --keep-seeds command line option
#53
nicdard
closed
2 years ago
0
fix: CI automation and remove scratch deletion
#52
nicdard
closed
2 years ago
0
feat: handle bitvectors
#51
nicdard
closed
2 years ago
0
Include name of all seeds in bug log
#50
lweitzendorf
closed
2 years ago
1
Allow multiple constants c to appear in fusion functions
#49
nicdard
closed
2 years ago
4
reset timeout_of_current_seed
#48
altinal
closed
2 years ago
0
High memory usage
#47
mpreiner
opened
2 years ago
0
[A*] Improve Array type support by moving sort parsing logic from `sort2type` into `AstVisitor`
#46
maurobringolf
closed
3 years ago
0
[BV] add remaining variants of LT and GT operators
#45
maurobringolf
closed
3 years ago
0
fixing typo
#44
wintered
closed
3 years ago
0
Pre-processing seeds in Fusion
#43
wintered
closed
3 years ago
0
Issues with respect to fusion
#42
merlinsun
closed
3 years ago
5
Dev
#41
wintered
closed
3 years ago
0
Pypi packaging
#40
muchang
closed
3 years ago
0
TypeFuzz sanity check & local configuration
#39
wintered
closed
3 years ago
0
Integrating flake8 into ci
#38
wintered
closed
3 years ago
0
Refactoring + TypeFuzz integration
#37
wintered
closed
3 years ago
0
Extend to support all logics (Typechecker)
#36
jiwonparc
opened
3 years ago
0
Increase robustness of Typefuzz
#35
jiwonparc
opened
3 years ago
0
False typechecker error (expected: Unknown)
#34
jiwonparc
opened
3 years ago
0
Sanity check for type-checking on the currently supported logics
#33
jiwonparc
opened
3 years ago
0
Infrequent application of id rule
#32
jiwonparc
opened
3 years ago
0
Issue with regex constants re.allchar
#31
jiwonparc
opened
3 years ago
0
Integrate Typefuzz
#30
wintered
closed
3 years ago
0
integration tests for sat fusion and unsat fusion
#29
wintered
closed
3 years ago
0
More general option fuzzing
#28
wintered
opened
3 years ago
0
Support for Z3 tactics
#27
wintered
opened
3 years ago
0
Represent bitvector constant functions as terms
#26
wintered
closed
3 years ago
0
Parser rejects variables with prefix "bv"
#25
wintered
opened
3 years ago
0
Parser performance issues
#24
wintered
closed
3 years ago
0
Addressing issue #16 (warning when no solver is specified)
#23
wintered
closed
3 years ago
0
Addressing #19 (Fusion stuck with empty fusion function file)
#22
wintered
closed
3 years ago
0
Addressing #18 (Potentially missed bugs due to errors with get-models etc.)
#21
wintered
closed
3 years ago
0
Fixing issue #7
#20
wintered
closed
3 years ago
0
Using empty fusion_function file makes yinyang hang.
#19
muchang
closed
3 years ago
0
Cannot detect soundness issue when (get-model) is in the mutant.
#18
muchang
closed
3 years ago
0
[AST] bug fixes
#17
muchang
closed
3 years ago
0
Next