Issues

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

  bug
  wit4java/wit4java#29 · Filter by author RehanChalana opened on Aug 6, 2025
  

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

  enhancement
  wit4java/wit4java#26 · Filter by author kylekim72 opened on Aug 26, 2024
  1

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

  wit4java/wit4java#25 · Filter by author kylekim72 opened on Jul 11, 2024
  2

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

  bug
  wit4java/wit4java#24 · Filter by author kylekim72 opened on Jul 10, 2024
  6

  

• ✨ Regression Tests

  enhancement
  wit4java/wit4java#19 · Filter by author jossmoff opened on Jul 27, 2022

• ✨ CI/CD Support

  enhancement
  wit4java/wit4java#13 · Filter by author jossmoff opened on Jul 26, 2022

• 🐛 Fix JBMC Floating Point Parsing

  bug
  wit4java/wit4java#10 · Filter by author jossmoff opened on Jul 26, 2022