Console Output

05:37:17 [2024-06-12T03:37:17.679Z] ++ head -n 1
05:37:17 [2024-06-12T03:37:17.679Z] + mv Testing/20240612-0335/Test.xml ./tests/ECP_kripke.xml
05:37:17 [2024-06-12T03:37:17.679Z] + rm -rf Testing