Pietro Braione

I had a look at the code, and I have implemented a fixed version of complement that seems to work: ``` (defn complement-fixed "Returns the complement of the given automaton."...

I will - but I need a little more time to test everything. Cheers Pietro

I have a question: What is the right way to add a state to an automaton?

Nevermind, I also fell behind as you can notice. My question was: What is the right way to create a new State object and add it to the states of...

Your use case is unclear. Why isn't enough to get the Enum's Klass object, and then reading its fields with getStoredFieldSignatures()?

The patch is not correct, and I am not sure the infinite recursion has anything to do with null values, but rather with circularities. Can you please provide a test...

I don't like very much the idea of making tests dependent on environment variables, especially if we want to keep everything IDE-friendly. Note that it's not really the build to...

The JUnit test suite state formatter is lagging behind the last developments of JBSE and it is really a toy. I will decide whether to fix it or just to...

The bug is caused by the fact that, when the pre-initial classes are (pedantically) made symbolic via the suitable JBSE parameter, it is no longer true the invariant that in...

Apparently it is not a rt.jar issue, if it hadn't found java.lang.String it wouldn't have created Object[1] that precisely is an instance of that class. Could you please send the...