Marvinmw

Report Bugs, when run testgen

2

Exception in thread "main" java.lang.ClassCastException: jbse.mem.ClauseAssumeNull cannot be cast to jbse.mem.ClauseAssume at jbse.apps.StateFormatterJUnitTestSuite$JUnitTestCase.setWithNewObject(StateFormatterJUnitTestSuite.java:461) at jbse.apps.StateFormatterJUnitTestSuite$JUnitTestCase.appendInputsInitialization(StateFormatterJUnitTestSuite.java:281) at jbse.apps.StateFormatterJUnitTestSuite$JUnitTestCase.(StateFormatterJUnitTestSuite.java:238) at jbse.apps.StateFormatterJUnitTestSuite.formatState(StateFormatterJUnitTestSuite.java:77) at jbse.apps.run.Run.emitState(Run.java:1042) at jbse.apps.run.Run.access$3(Run.java:1040) at jbse.apps.run.Run$ActionsRun.atTraceEnd(Run.java:425) at jbse.jvm.Runner.doRun(Runner.java:612) at jbse.jvm.Runner.run(Runner.java:520) at...

Is there some method to check if tow nodes are conneced in a directed graph in DG?

7

Is there some method to check if tow nodes are conneced in a directed graph in DG?

Does DG support Call graph with Function Pointer?

7

Does DG support Call graph with Function Pointer?

How to use jlang in the maven or gradle Java project?

1

I read JLang docs and examples. Is there any wa to use it maven or graddle. My project is a little complex and use the third lobraries.

logger and save_best_fn do not work for Custom Environment

1

Hi, I stalled the latest Tianshou and implement my custom Env. I use the script from https://github.com/thu-ml/tianshou/blob/master/examples/mujoco/mujoco_ddpg.py . I replace the env using my self. Unfortunally, the logger does not...

Bug Report

2

There is a case unidiff cannot load the diff file that have the rename file, It outputs the error unknown trailling newline. For example, 'From 82dd164bbedcd025ef38a2fb374dd18b90c84828 Mon Sep 17 00:00:00...

### EvalPlus version [[1.0, 2.0, 3.0, 4.0, 5.0], 1.0], False ### Output of running `ls ~/.cache/evalplus` AssertionError ### Task ID of the programming task has_close_elements ### Test input ```python https://github.com/evalplus/humanevalplus_release/releases...