-
Notifications
You must be signed in to change notification settings - Fork 0
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
🐛 The
TestHarness._build_test_verifier()method generates invalid Java code when assumptions contain double quotes.bugSomething isn't workingSomething isn't workingStatus: Open.#29 In wit4java/wit4java;✨ Could you include producer name "SPF" on conditional statment where GDart is loctaed?
enhancementNew feature or requestNew feature or requestStatus: Open.#26 In wit4java/wit4java;- Status: Open.#25 In wit4java/wit4java;
🐛It seems that wit4java doesn't accepts correct violation witness
bugSomething isn't workingSomething isn't workingStatus: Open.#24 In wit4java/wit4java;✨ Regression Tests
enhancementNew feature or requestNew feature or requestStatus: Open.#19 In wit4java/wit4java;✨ CI/CD Support
enhancementNew feature or requestNew feature or requestStatus: Open.#13 In wit4java/wit4java;🐛 Fix JBMC Floating Point Parsing
bugSomething isn't workingSomething isn't workingStatus: Open.#10 In wit4java/wit4java;