Update the oracle of symbolic execution inside a workflow #3087

Artifacts

• 26. May 2023 23:39 (8003.90 kB large)
• 31. Mar 2023 11:55 (3461.43 kB large)
• 31. Mar 2023 11:43 (3461.82 kB large)
• 26. Mar 2023 20:27 (3462.16 kB large)