cuter-testing/cuter
A concolic testing tool for the Erlang functional programming language.
ErlangGPL-3.0
Issues
- 3
Support Erlang maps
#183 opened by neoaggelos - 0
Fix support for Python3 virtual environments
#181 opened by neoaggelos - 1
Generated functions do not respect specs
#149 opened by aggelgian - 3
Update README dependencies
#126 opened by mcherep - 1
Upgrade to a newer Z3 version
#134 opened by aggelgian - 2
Inconsistency with the SMT translation of band/2
#137 opened by aggelgian - 1
Remove meck dependency
#106 opened by aggelgian - 0
Support newer Erlang versions
#129 opened by aggelgian - 0
Remove meck from the dependencies
#130 opened by aggelgian - 5
Solver error
#128 opened by Lysxia - 2
Solver error in ets:file2tab
#120 opened by ioolkos - 0
Execution should not fail when negative bitstring sizes appear in pattern matching.
#122 opened by aggelgian - 12
How to handle __uboundvar and __lambda in INPUT?
#116 opened by ioolkos - 7
User defined types?
#118 opened by ioolkos - 9
How to handle SOLVER ERRORS?
#115 opened by ioolkos - 0
A FAQ list?
#117 opened by ioolkos - 4
badarg/badmatch for cuter_types?
#112 opened by ioolkos - 0
- 5
- 4
Refactor Installation
#110 opened by aggelgian - 0
Support Recursive Types
#96 opened by aggelgian - 0
Do not visit paths that are bug free
#107 opened by aggelgian - 0
- 0
Find spec violation on functional parameters?
#102 opened by constracti - 1
Update tests to work for Z3 4.4.2
#94 opened by aggelgian - 0
Set up the file structure for the smt parser
#85 opened by aggelgian - 0
- 0
Make TravisCI builds faster
#89 opened by aggelgian - 0
Clean Up the repo
#88 opened by aggelgian - 1
Erroneous runtime error reported
#86 opened by kostis - 3
Support 'erlang:list_to_integer/1'
#80 opened by mcherep - 1
CutEr false positive
#82 opened by mcherep - 2
- 0
Support `erlang:bor/2`
#78 opened by aggelgian - 0
Support `erlang:bxor/2`
#54 opened by jj1bdx - 0
Refactor functional tests
#76 opened by aggelgian - 0
Support bnot/1
#71 opened by aggelgian - 0
Support `erlang:bsr/2`
#53 opened by jj1bdx - 0
Support `byte_size/1' and `bit_size/1'
#64 opened by kostis - 0
Concrete evaluation of NIFs
#65 opened by aggelgian - 1
Support bs_init_writable
#62 opened by bjfish - 0
- 0
Support ' erlang:make_ref/0'
#60 opened by jaynel - 0
support 'erlang:self/0'
#59 opened by jaynel - 0
support 'erlang:process_flag/2'
#58 opened by jaynel - 0
Support `erlang:put/2`
#57 opened by jj1bdx - 0
Support `erlang:get/0` and `erlang:get/1`
#56 opened by jj1bdx - 0
Support `erlang:is_map/1`
#55 opened by ypaq - 0
Support `erlang:phash/2`
#52 opened by ypaq - 0
Support type `iodata()`
#51 opened by ypaq