issues
search
cuter-testing
/
cuter
A concolic testing tool for the Erlang functional programming language.
GNU General Public License v3.0
210
stars
20
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update protobuf to version 3.20.2
#196
kostis
closed
1 year ago
0
Fix GitHub actions
#195
kostis
closed
1 year ago
0
Bump protobuf from 3.19.2 to 3.19.5
#194
dependabot[bot]
closed
1 year ago
1
Annotations rebased
#193
Dspil
opened
2 years ago
0
callgraph processing pr
#192
Dspil
closed
2 years ago
0
Handle exceptions when initializing the State
#191
kostis
closed
2 years ago
0
Upgrade utilities to newer versions
#190
kostis
closed
2 years ago
0
Upgrade mypy version (for python 3.9)
#189
kostis
closed
2 years ago
0
Add spec conversion to erl_types
#188
Dspil
closed
2 years ago
0
Extend cuter_eval with option to conditionally log branches
#187
Dspil
closed
2 years ago
0
kfun and kmodule apis updated
#186
Dspil
closed
2 years ago
0
Evaluate map expression and pattern matching
#185
neoaggelos
opened
2 years ago
0
Support spec definitions with Erlang maps (183)
#184
neoaggelos
closed
2 years ago
0
Support Erlang maps
#183
neoaggelos
opened
2 years ago
3
Fix makefile when using a Python virtual environment
#182
neoaggelos
closed
2 years ago
1
Fix support for Python3 virtual environments
#181
neoaggelos
closed
2 years ago
0
Abstract the code of a module as a kmodule().
#180
aggelgian
closed
2 years ago
1
Abstract the code & metadata of an MFA as a kfun().
#179
aggelgian
closed
2 years ago
1
Split cuter_mock:simulate_behaviour/3
#178
aggelgian
closed
2 years ago
1
Set up Github Actions
#177
aggelgian
closed
2 years ago
0
Clarify the app lifecycle
#176
aggelgian
closed
2 years ago
0
error free annotation by hand
#175
Dspil
closed
2 years ago
0
Upgrade protoc 3.17.0 to 3.17.2
#174
kostis
closed
3 years ago
0
Add a test that shows a regression
#173
kostis
closed
3 years ago
1
Simplify cuter poller
#172
aggelgian
closed
3 years ago
0
Simplify cuter solver
#171
aggelgian
closed
3 years ago
0
Update to newer versions of libs
#170
kostis
closed
3 years ago
1
Simplify codeserver
#169
aggelgian
closed
3 years ago
0
Refactor cuter_solve_offline.py
#168
aggelgian
opened
3 years ago
0
Update cuter_print with missing log entry types
#167
aggelgian
closed
3 years ago
0
Make configuration globally accessible
#166
aggelgian
closed
3 years ago
0
Collect metrics & assert on solver outcomes
#165
aggelgian
closed
3 years ago
0
Do not attempt to fix variables to specific values
#164
aggelgian
closed
3 years ago
0
Use halt/0 instead of init:stop/0 to terminate
#163
aggelgian
closed
3 years ago
1
Modularize strategies
#162
aggelgian
closed
3 years ago
0
Upgrade to latest z3 (4.8.14)
#161
kostis
opened
3 years ago
1
Set the correct Python version in the utest script
#160
aggelgian
closed
3 years ago
0
Don't bind underscore-prefixed vars multiple times
#159
aggelgian
closed
3 years ago
0
Set the correct Python version in CutEr
#158
aggelgian
closed
3 years ago
0
Support python3
#157
arachmani
closed
3 years ago
2
Add comments to Z3 logs
#156
aggelgian
closed
4 years ago
0
Upgrade to Python 3.
#155
aggelgian
closed
4 years ago
0
Store SMT invocations for debugging.
#154
aggelgian
closed
4 years ago
0
Enforce that funs are actual functions
#153
aggelgian
closed
2 years ago
2
Move funs in arguments to separate variables to avoid illegal patterns.
#152
aggelgian
closed
4 years ago
3
Remove z3py
#151
kostis
closed
4 years ago
2
Force function domains to contain at least one element
#150
aggelgian
closed
4 years ago
1
Generated functions do not respect specs
#149
aggelgian
closed
4 years ago
1
Turn an Eunit test into a test generator
#148
kostis
closed
4 years ago
0
Upgrade to protobuf-3.9.2
#147
kostis
closed
4 years ago
0
Next