issues
search
SymbolicPathFinder
/
jpf-symbc
Symbolic PathFinder
https://github.com/SymbolicPathFinder/jpf-symbc
130
stars
91
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
bug AASTORE on symbolic arrays?
#52
DonatoClun
opened
4 years ago
0
no libz3java in java.library.path
#51
Xintao-C
closed
2 years ago
5
Travis CI implementation
#50
wikumChamith
opened
4 years ago
0
Update README.md
#49
ranjsa
opened
4 years ago
0
Project Setup for jpf-core and jpf-symbc in IntelliJ-Idea
#48
ranjsa
opened
4 years ago
1
Support Java 11+ for SPF
#47
wikumChamith
opened
4 years ago
14
Symbolic arrays
#46
dah-fari7009
closed
4 years ago
0
Error in executing examples
#45
Alim9100
closed
2 years ago
18
mixed constraint
#44
dah-fari7009
opened
4 years ago
3
Loops bounding
#43
dah-fari7009
opened
4 years ago
0
fixed constant printing for z3 constraint
#42
yannicnoller
closed
4 years ago
0
Math.tan not supported
#41
dah-fari7009
closed
4 years ago
19
exception
#40
dah-fari7009
closed
4 years ago
7
Build Fails by java/lang/Integer.java
#39
shiatsumat
closed
4 years ago
1
Match statement with constraints
#38
dah-fari7009
closed
4 years ago
1
Update ConcreteExecutionListener.java
#37
dah-fari7009
opened
4 years ago
0
Implementing truncation in I2C
#36
vaibhavbsharma
closed
4 years ago
0
z3 floating point arithmetic support doesn't seem to work
#35
itnef
opened
5 years ago
0
Z3 and floating points: check useFpForReals when translating gt and lt expressions
#34
itnef
opened
5 years ago
0
SymbolicListener doesn't seem to display path conditions
#33
nickywilliams
closed
4 years ago
3
Java Ranger code to add path-merging to SPF (2 of 2)
#32
vaibhavbsharma
closed
4 years ago
1
SPF changes to support path-merging (1 of 2)
#31
vaibhavbsharma
closed
4 years ago
1
Asking for installing instructions
#30
bingzheliu
closed
4 years ago
1
Ant Build failed
#29
BinduAvadhani
closed
4 years ago
7
Repositories sync - is it automated ?
#28
grzesuav
closed
4 years ago
3
SPF crashes on code with exception handlers for calling a method of `null`
#27
maemre
opened
5 years ago
1
added missing handling for real expressions
#26
yannicnoller
closed
5 years ago
0
Fix call on null object, align SPF with JPF
#25
wvisser
closed
5 years ago
0
Add initialization constraints for object arrays
#24
R1kM
closed
5 years ago
0
Restore arrays
#23
R1kM
closed
5 years ago
1
Updating driver proxy and string translator for ABC constraint solver integration
#22
william-eiers
closed
5 years ago
1
updated libz3 files built on ubuntu 16
#21
yannicnoller
closed
5 years ago
0
updated library files for z3 unix
#20
yannicnoller
closed
5 years ago
0
replaced Verifier class
#19
yannicnoller
closed
5 years ago
0
fixed missing case for RealExpression objects and cleaned comments and printouts
#18
yannicnoller
closed
6 years ago
0
moved ProblemZ3.getRealValueInf to ProblemZ3.getRealValue and polishe…
#17
yannicnoller
closed
6 years ago
0
How to find Symbolic JPF doc
#16
LeorPoirot
closed
5 years ago
4
% operator with mixed-concrete symbolic solving
#15
iremfidandan
opened
6 years ago
0
Z3BitvectorIncremental error :: incorrect answer
#14
JHTaljaard
closed
5 years ago
3
Does symbc support mocking ?
#13
srgiri
opened
6 years ago
2
Error in gov.nasa.jpf.symbc.numeric.solvers.ProblemZ3 class
#12
srgiri
closed
6 years ago
3
SPF fails to pass test
#11
JasonPap
closed
2 years ago
4
Linkedlist.contains(x) can't generate test cases
#10
idiomaticrefactoring
opened
6 years ago
0
fixed unclean z3 solver object which has lead to wrong sat/unsat answers
#9
yannicnoller
closed
6 years ago
0
repair symbolic Array testcases
#8
woshazi
opened
6 years ago
0
How SPF generate test cases for symbolic arrays
#7
woshazi
closed
2 years ago
2
java.lang.ClassCastException: gov.nasa.jpf.symbc.arrays.ArrayConstraint cannot be cast to gov.nasa.jpf.symbc.numeric.NonLinearIntegerConstraint
#6
woshazi
closed
6 years ago
2
How to use specific symbol to represent calls to some functions.
#5
idiomaticrefactoring
opened
6 years ago
18
spf run example/TestArray.java encounter exception
#4
idiomaticrefactoring
opened
6 years ago
3
some confusion about spf generating test cases.
#3
idiomaticrefactoring
closed
2 years ago
2
Previous
Next