The racetrack-benchmark from practical-formal-methods

racetrack-benchmark's People

Contributors

Stargazers

Watchers

racetrack-benchmark's Issues

Thread 1 "racetrack-contr" received signal SIGSEGV, Segmentation fault. 0x00007fffe7e7b5d0 in tensorflow::Node::name() const () from ~/tools/tensorflow_c/lib/libtensorflow_framework.so.2

I installed the TensorFlow C library version v2.6.0 from the official website. However, when running project code, I encountered an error when calling the TF_SessionRun() function from the TensorFlow library.

Thread 1 "racetrack-contr" received signal SIGSEGV, Segmentation fault.
0x00007fffe7e7b5d0 in tensorflow::Node::name() const () from ~/tools/tensorflow_c/lib/libtensorflow_framework.so.2
(gdb) bt
#0  0x00007fffe7e7b5d0 in tensorflow::Node::name() const () from ~/tools/tensorflow_c/lib/libtensorflow_framework.so.2
#1  0x00007fffea22a623 in (anonymous namespace)::OutputName(TF_Output const&) [clone .isra.64] () from ~/tools/tensorflow_c/lib/libtensorflow.so.2
#2  0x00007fffea23c9c0 in TF_SessionRun () from ~/tools/tensorflow_c/lib/libtensorflow.so.2
#3  0x0000555555556024 in call_nn_model (nn_model=0x5555567d16f0, nn_input=0x5555567a5ae0) at src/main.c:602
#4  0x0000555555554e54 in compute_acceleration (map=0x5555562a5890, state=0x5555562c6e80, nn_model=0x5555567d16f0, look_ahead_steps=3, safety_distance=1) at src/main.c:175
#5  0x0000555555554d0a in run_safeguard_controller (map=0x5555562a5890, initial_state=0x5555562c6e80, nn_model_directory=0x5555555577e8 "./agents/barto-small_model/", step_limit=50, look_ahead_steps=3, safety_distance=1) at src/main.c:138
#6  0x0000555555554c74 in main () at src/main.c:110

I would like to inquire about the TensorFlow version used during runtime.

Recommend Projects