Use FPTuner without the INTERVAL library?

[izycheva]

Hi,

I am trying to install FPTuner and ran into several issues when building dependencies, particularly the INTERVAL library of FPTaylor. Seems like this is a known issue, so I applied the suggested solution and used the make fptaylor-simple-interval to compile FPTaylor. All dependencies are now installed, but seems like the later version of FPTaylor is incompatible with FPTuner.

When running the command:
$ python3 ./fptuner.py -e 0.001 ../examples/helloworld0.py

I am getting the following error:

$~/FPTuner/bin/./fptuner.py:4: DeprecationWarning: the imp module is deprecated in favour of importlib and slated for removal in Python 3.12; see the module's documentation for alternative uses
  import imp
Traceback (most recent call last):
  File "/root/FPTuner/bin/./fptuner.py", line 259, in <module>
    main()
  File "/root/FPTuner/bin/./fptuner.py", line 196, in main
    eforms, alloc = tft_tuning.TFTRun(EXPRS_NAME)
                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/root/FPTuner/src/tft_tuning.py", line 181, in TFTRun
    eforms, alloc = tft_sol_exprs.SolveExprs(fname_input, OPTIMIZERS)  
                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/root/FPTuner/src/tft_sol_exprs.py", line 587, in SolveExprs
    ef = GenerateErrorFormFromExpr(te, ERROR_TYPE, E_UPPER_BOUND, M2, EQ_GIDS, CONSTRAINT_EXPRS) 
         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/root/FPTuner/src/tft_sol_exprs.py", line 133, in GenerateErrorFormFromExpr
    text_terms = tft_get_first_derivations.GetFirstDerivations(expr)
                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/root/FPTuner/src/tft_get_first_derivations.py", line 201, in GetFirstDerivations
    ParseFPTaylorResults(cstr_expr, vs, fpt_outputs) 
    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/root/FPTuner/src/tft_get_first_derivations.py", line 143, in ParseFPTaylorResults
    assert(id_comment in raw_expr_2_comment.keys()) 
           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
AssertionError

Any advice on how to proceed? Is it possible to use FPTuner without the INTERVAL library?