Skip to content

issues Search Results · repo:tudo-aqua/jconstraints language:SMT

Filter by

3 results
 (45 ms)

3 results

intudo-aqua/jconstraints (press backspace or delete to remove)

tudo-aqua/jconstraints
How to create a z3 solver?

Here is my code: @Test public void aa(){ ConstraintSolverFactory.createSolver( z3 ); } The stacktrace is: gov.nasa.jpf.constraints.solvers.SolverNotFoundExcpetion: Specified solver could not ...
  • syheliel
  • 1
  • Opened 
    on Jul 12, 2023
  • #26

tudo-aqua/jconstraints
Failed tests in SMTLIBParserTest when executing "gradlew build" command.

Prompt message is as below: Task :jconstraints-core:test FAILED FAILURE: Build failed with an exception. * What went wrong: Execution failed for task :jconstraints-core:test . There were failing ...
  • XYHyouKa
  • 6
  • Opened 
    on Nov 22, 2022
  • #25

tudo-aqua/jconstraints
Bug in parsing SMTLib

(declare-fun __int_0 () (_ BitVec 32)) (assert (bvsge #x00000032 __int_0)) results in gov.nasa.jpf.constraints.smtlibUtility.parser.SMTLIBParserExceptionInvalidMethodCall: The expressions are not equal, ...
  • fhowar
  • Opened 
    on Sep 6, 2021
  • #19
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Restrict your search to the title by using the in:title qualifier.
Issue origami icon

Learn how you can use GitHub Issues to plan and track your work.

Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub Issues
ProTip! 
Restrict your search to the title by using the in:title qualifier.
Issue search results · GitHub