Resnax stucks on Main Thread

[therealansh]

Hey! I am trying to reproduce the Regel in Kotlin and wanted to run the Resnax class main method. To debug some of the code written in interactive.py i tried to exec the Java Command of resnax in a CLI. Possible reasons can be it stucks on the main thread, but i am not running multiple process its just the Java one. I tried working with the Multithreading as well in the Kotlin code but the error seems to be persistent.

Steps to reproduce

Run the following command in terminal(Considering that you have made the example file(in my case "test") )

java -Xmx20G -Djava.library.path=resnax/lib -cp resnax/jars/resnax.jar:resnax/lib/* -ea resnax.Main 0 "/home/regel/exp/interactive/customize/example/1/test" "/home/regel/exp/interactive/customize/logs/1" "?{<num>,<spec>}" 1 1 0

Source code can be found here Source.

[thelyad]

Given your test case and the examples, not-terminating might be an expected behavior since there is no instantiation of your sketch that will satisfy all the examples (Regel terminates if it finds a solution that satisfies the example and otherwise keeps running, which might be the stuck situation you are dealing with now). The timeout should be a feature in the interactive.py file. If you run this in the interactive.py, and set the timeout in a reasonable time, it should shows that it timeout. Let me know if it doesn't.