./Ultimate.py --spec ../../sv-benchmarks/c/MemSafety-MemCleanup.prp --file ../../sv-benchmarks/c/heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i --full-output --architecture 32bit


--------------------------------------------------------------------------------


Checking for LTL property G valid-memcleanup
Using default analysis
Traceback (most recent call last):
  File "./Ultimate.py", line 724, in <module>
    main()
  File "./Ultimate.py", line 658, in main
    input_files = add_ltl_file_if_necessary(prop, input_files)
  File "./Ultimate.py", line 631, in add_ltl_file_if_necessary
    ltl_file = write_ltl(prop.get_ltl_formula())
  File "./Ultimate.py", line 360, in write_ltl
    with open(ltl_file_path, 'wb') as ltl_file:
IOError: [Errno 2] No such file or directory: '/tmp/vcloud-vcloud-master/worker/working_dir_e0272290-1df0-418e-8d91-e0a62416f548/bin-2019/uautomizer/data/ltlformula.ltl'