I think this is macOS-specific when it comes to multithreading/multiprocessing, but when utilizing the updated binaries for paradox (https://github.com/nick8325/equinox) and vampire (https://github.com/vprover/vampire) that were compiled from source, the following error is thrown:
The process has forked and you cannot use this CoreFoundation functionality safely. You MUST exec().
Break on __THE_PROCESS_HAS_FORKED_AND_YOU_CANNOT_USE_THIS_COREFOUNDATION_FUNCTIONALITY___YOU_MUST_EXEC__() to debug.
Added screenshot:
A workaround for this is to directly call the binaries in the terminal with the tptp files to do further analysis.
I'm not sure if this is something that can be fixed by modifying Macleod's code to handle processing applications outside of the GUI. I've only noticed this with Paradox and Vampire, no issues with calls to Prover9 and Mace4 with gui_beta/gui_main.py
I think this is macOS-specific when it comes to multithreading/multiprocessing, but when utilizing the updated binaries for paradox (https://github.com/nick8325/equinox) and vampire (https://github.com/vprover/vampire) that were compiled from source, the following error is thrown:
Added screenshot:
A workaround for this is to directly call the binaries in the terminal with the tptp files to do further analysis.
I'm not sure if this is something that can be fixed by modifying Macleod's code to handle processing applications outside of the GUI. I've only noticed this with Paradox and Vampire, no issues with calls to Prover9 and Mace4 with gui_beta/gui_main.py