issues
search
dnWalker-project
/
dnWalker
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Feature/attributes based package and ns reporting
#97
benjamin-hejl
closed
1 year ago
0
Implementace smart "all paths" strategy
#96
benjamin-hejl
closed
1 year ago
0
Tests/benchmarks
#95
benjamin-hejl
closed
1 year ago
4
Refactor symbolic model
#94
benjamin-hejl
opened
1 year ago
0
Exceptions and CFG
#93
benjamin-hejl
opened
1 year ago
0
Tests/test schemas
#92
benjamin-hejl
closed
1 year ago
0
Deterministic and clear way of sorting dependency arrange
#91
benjamin-hejl
opened
1 year ago
0
Tests/fix order dependent assertions
#90
benjamin-hejl
closed
1 year ago
0
Library for reading CLI assemblies
#89
benjamin-hejl
opened
1 year ago
0
broken mutithreading
#88
benjamin-hejl
opened
1 year ago
0
expression evaluation with regards to the model
#87
benjamin-hejl
opened
1 year ago
0
input model has dirty heap nodes
#86
benjamin-hejl
opened
1 year ago
0
Closures support
#85
kfrajtak
opened
1 year ago
0
Tests/simple act and arrange
#84
benjamin-hejl
closed
1 year ago
0
Benchmarking
#83
kfrajtak
opened
1 year ago
0
Moq integration - add support for constrained method results
#82
benjamin-hejl
opened
1 year ago
0
Constrained Methods as Decision Points
#81
benjamin-hejl
opened
1 year ago
0
add translation from System.Linq.Expressions to dnWalker.Symbolic.Expressions
#80
benjamin-hejl
opened
1 year ago
0
use domain specific exceptions
#79
benjamin-hejl
opened
1 year ago
0
Using snapshots to speed up execution
#78
kfrajtak
opened
1 year ago
0
separation logic - induction predicates
#77
benjamin-hejl
opened
1 year ago
0
Levaraging atributes from System.ComponentModel.DataAnnotations namespace
#76
kfrajtak
opened
1 year ago
1
Complex modelling
#75
benjamin-hejl
opened
1 year ago
0
Modular symbolic expressions and translation to Z3
#74
benjamin-hejl
opened
1 year ago
1
Constructor binding
#73
benjamin-hejl
opened
1 year ago
0
Property handling
#72
benjamin-hejl
opened
1 year ago
0
Standard output based testschema
#71
benjamin-hejl
opened
1 year ago
0
Modular CFG building
#70
benjamin-hejl
opened
1 year ago
1
Execution context
#69
benjamin-hejl
opened
1 year ago
0
Type constraints
#68
benjamin-hejl
opened
1 year ago
0
Non deterministic code
#67
benjamin-hejl
opened
1 year ago
1
Integration to dev cycle
#66
benjamin-hejl
opened
1 year ago
1
Expression parsing
#65
benjamin-hejl
opened
1 year ago
0
finished implementation and integration of conditional mocks
#64
benjamin-hejl
closed
1 year ago
0
added substitute method for the variables
#63
benjamin-hejl
closed
1 year ago
3
expression parsing
#62
benjamin-hejl
closed
1 year ago
2
act, arrange primitive tests
#61
benjamin-hejl
closed
1 year ago
1
Feature/xunit moq integration
#60
benjamin-hejl
closed
1 year ago
1
basic CLI setup
#59
benjamin-hejl
closed
1 year ago
1
implementation of basic test schemas
#58
benjamin-hejl
closed
1 year ago
0
primitives abstraction and basic implementation
#57
benjamin-hejl
closed
1 year ago
1
test suite models & test suite writer
#56
benjamin-hejl
closed
1 year ago
1
dependency heap graph building moved to dnWalker.Symbolic
#55
benjamin-hejl
closed
1 year ago
0
Feature/concolic exploration md instead of strings
#54
benjamin-hejl
closed
1 year ago
0
update to .net7
#53
benjamin-hejl
closed
1 year ago
1
fixed the bug
#52
benjamin-hejl
closed
1 year ago
0
fixed the problem
#51
benjamin-hejl
closed
1 year ago
0
Bugfix/xunit memberdatapublic
#50
benjamin-hejl
closed
1 year ago
0
Feature/cli
#49
benjamin-hejl
closed
1 year ago
3
update packages
#48
benjamin-hejl
closed
1 year ago
0
Next