You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
The text was updated successfully, but these errors were encountered:
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
The text was updated successfully, but these errors were encountered: