Troubleshooting

Documentation

Below is a few known issues during using or installing PLC Logic Prover. If you have a problem which is not covered by solutions below please check our Github Issue Tracker.

Installation

Known issues on Windows

Issue: No connection to the PLC nor automatic updates.

Solution: When prompted by firewall or antivirus software allow PLC Logic Prover to access the network.

The network access is used for connection to the PLC.

Internet access is used for automatic check and downloads of the software latest updates.

Issue: PLC Logic Prover cannot be installed.

Reason: As the software is free the software certificate hasn't been purchased yet. The certificate is being purchased and the software will be signed by Microsoft certificate. When the software will be signed there will be no antivirus alerts anymore. Signed PLC Logic Prover (and its installer) is coming in the next updates.

Solution: When alerted by the antivirus software click I trust this file (or similar). After installation run the antivirus scan on the program to confirm no viruses.

Issue: There is no desktop shortcut after installation on Windows 7.

Solution: The program uses NSIS one click installation and it has to create a shortcut on desktop and in Start > All Programs. If it didn't create ones, look for executable file PLC Logic Prover.exe in C:\Users\<user_name>\AppData\Local\Programs\logic-prover\.

If there is no folder logic-prover at the path then the program hasn't been installed correctly. Most likely it has been blocked by antivirus software.

Issue: Unrecognised App by Windows 10.

Reason: As the software is free the software certificate hasn't been purchased yet. The certificate is being purchased and the software will be signed by Microsoft certificate. When the software will be signed there will be no SmartScreen message anymore. Signed PLC Logic Prover is coming in the next updates.

Solution: Click More Info in the popup window. And click Run anyway on the next step.

Known issues on Linux

Issue: When running the program in terminal ./plc-logic-prover-linux-{version}.AppImage it fails with the error bash: ./plc-logic-prover-linux-{version}.AppImage: cannot execute binary file: Exec format error

Solution: The current linux OS is 32-bit. Check system requirements.

Issue: When running the program in terminal bash: ./plc-logic-prover-linux-{version}.AppImage: Permission denied or double click on downloaded AppImage opens "Open With" dialog.

Solution: The file is not executable. Make it executable by following the next steps: Right click on file > Properties > "Permission" tab > Check "Allow executing file as program"

Next, enable the user namespaces feature. In terminal run: sudo sysctl kernel.unprivileged_userns_clone=1

Test Runner

Some common errors and how to fix:

  • During test runner:

    • PLC replied: Service not supported - check PLC CPU slot is set correctly.

    • PLC replied: Path segment error (tag does not exist) at tag _tagname_ - check one of the following:

      • Tag does exist in the PLC

      • PLC CPU slot is correct

    • ERROR: TIMEOUT occurred while attempting to establish TCP connection with Controller. - check PLC is connected and has correct IP address.