Search results

🐛 The <code>TestHarness._build_test_verifier()</code> method generates invalid Java code when assumptions contain double quotes.

bugSomething isn't workingSomething isn't working

Status: Open.

#29 In wit4java/wit4java;

· RehanChalana opened on Aug 6, 2025

✨ Could you include producer name "SPF" on conditional statment where GDart is loctaed?

enhancementNew feature or requestNew feature or request

Status: Open.

#26 In wit4java/wit4java;

· kylekim72 opened on Aug 26, 2024

What's the criterion of producer name that wit4java accepts?

Status: Open.

#25 In wit4java/wit4java;

· kylekim72 opened on Jul 11, 2024

🐛It seems that wit4java doesn't accepts correct violation witness

bugSomething isn't workingSomething isn't working

Status: Open.

#24 In wit4java/wit4java;

· kylekim72 opened on Jul 10, 2024

✨ Regression Tests

enhancementNew feature or requestNew feature or request

Status: Open.

#19 In wit4java/wit4java;

· jossmoff opened on Jul 27, 2022

✨ CI/CD Support

enhancementNew feature or requestNew feature or request

Status: Open.

#13 In wit4java/wit4java;

· jossmoff opened on Jul 26, 2022

🐛 Fix JBMC Floating Point Parsing

bugSomething isn't workingSomething isn't working

Status: Open.

#10 In wit4java/wit4java;

· jossmoff opened on Jul 26, 2022