Search results

Problems about Installing JDart by using Docker

Status: Open.

#38 In psycopaths/jdart;

· ChrisCheng816 opened on Jul 7, 2023

Where is path condition and solution result stored in?

Status: Open.

#35 In psycopaths/jdart;

· QRXqrx opened on Jun 27, 2021

Does jdart support complex data structure?

Status: Open.

#33 In psycopaths/jdart;

· Marvinmw opened on Apr 25, 2019

How to stub a method which is called from within the 'method under test' ?

Status: Open.

#29 In psycopaths/jdart;

· srgiri opened on Nov 2, 2017

Handling List, Map and String

Status: Open.

#24 In psycopaths/jdart;

· srgiri opened on Jul 11, 2017

How to specify the return value of a method as a symbolic variable?

Status: Open.

#23 In psycopaths/jdart;

· zhendong2050 opened on Jul 10, 2017

test any method from any Directory ?

Status: Open.

#20 In psycopaths/jdart;

· anboua opened on Mar 17, 2017

Bug in the method gov.nasa.jpf.jdart.ConcolicMethodExplorer.advanceValuation()

Status: Open.

#18 In psycopaths/jdart;

· ngocpq opened on Mar 6, 2017

Add support to get PC

Status: Open.

#17 In psycopaths/jdart;

· j-godoy opened on Jan 22, 2017

jdart failed to run Apollo that is runable with SPF

Status: Open.

#16 In psycopaths/jdart;

· chenbihuan opened on Jan 10, 2017

[Feature Request] Add support for symbolic array indices

enhancement

Status: Open.

#15 In psycopaths/jdart;

· ksluckow opened on Dec 6, 2016

[Feature Request] Fixed array length

enhancement

Status: Open.

#14 In psycopaths/jdart;

· zhenyu-zhou opened on Dec 5, 2016