Summary-ETFA22 Source code and benchmarks for the ETFA22 submission. Evaluation Test Suite Generation on PLCopen Safety Use "0" for Summarization vs No Summarization Use "1" for MB vs NMB Use "2" for NMB $ docker build -f Dockerfile -t etfa22 . $ docker run etfa22 <PARAMETER>