Ethan Ordentlich

IntelliJ outputs error messages twice

13

I am working on IntelliJ 2019.3, with Truth 1.0 and Java 11.0.6, and running tests using Junit 5.6.0. I'm trying to do test some basic assertions, such as checking the...

Feature Req: Support filtering tests by JUnit 5 tags

2

https://junit.org/junit5/docs/current/user-guide/#running-tests-tag-expressions A lot of our existing tests are identified by tags, in addition to being in different files. As far as I'm aware, there's no way to run all tests...

Improve Nurikabe example

1

The Nurikabe solver is, quite slow when given harder puzzles that have more initial freedom: E.g. https://puzz.link/p?nurikabe/10/10/p2q8j7m2h7zh4h8m4j2q6p ```python HEIGHT, WIDTH = 10, 10 GIVENS = { (1, 0): 2, (2,...

Demo broken on Ubuntu

1

The build script produces a broken demo. After cloning and running `./z3.sh`, the demo does not work because `callMain` is not an exported function. If I add `callMain` to `EXTRA_EXPORTED_RUNTIME_METHODS`...

Attempting to use vorple in a React application, and noting that there seems to be some bugs in the bundled quixe -- not sure how. The one I ran into...